Module input_arguments

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: