Module proof_input

Module proof_input 

Source

Enumsยง

ProofInput
ProofInput : An object mapping proof input variable names to their values. Can be a raw JSON object or a string serialized as JSON or TOML.