Functionsยง

is_valid_pure_type
is_valid_receiving
Returns true if a type is a Receiving<t> where t has key
verify
Verifies two properties for input objects: