Make_ident.1-Input
type value
type proof_elem
type context
val to_proof_elem : value -> proof_elem
val get_previous : context:context -> value -> value option Core_kernel.Monad.Ident.t