Module MetaProverState_intf

module MetaProverState_intf: sig .. end

type 'a or_error = [ `Error of string | `Ok of 'a ] 

type term = Libzipperposition.TypedSTerm.t 

module type S = sig .. end