Module proof_list_input

Source

Structsยง

ProofListInput
ProofListInput : Client input for filtering proofs.