congress.z3.z3builtins module

class congress.z3.z3builtins.BuiltinPred(args, ty_vars, z3)

Bases: tuple

property args

Alias for field number 0

property ty_vars

Alias for field number 1

property z3

Alias for field number 2