Constant PEX

pub const PEX: Constraint;

PredicateExists

0x3C: PEX

Check if a solution to a predicate exists within the same solution with the hash of the arguments and address.

Returns true if the predicate exists.

Stack Input

[sha256(arg0len, arg0, argNlen, argN, contract_addr, predicate_addr)]

Stack Output

[bool]