Up
–
pickles
»
Pickles
» Statement_with_proof
Module
Pickles.Statement_with_proof
type
('s, 'max_width, _) t
=
(
'max_width
,
'max_width
)
Proof.t