Module proof_list_input

Module proof_list_input 

Source

Structsยง

ProofListInput
ProofListInput : Client input for filtering proofs.