Make_intf.2-Input
type value
type proof_elem
type context
val to_proof_elem : value -> proof_elem
val get_previous : context:context -> value -> value option M.t