Module Types.As_prover

type ('a, 'f) t = ( 'f Cvar.t -> 'f ) -> 'a