Module Extended.Types

module Checked : sig ... end
module As_prover : sig ... end
module Typ : sig ... end
module Provider : sig ... end