Module Pickles.Statement_with_proof

type ('s, 'max_width, _) t = ( 'max_width, 'max_width ) Proof.t