Module Meta.Input

type 'a t
val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t
val same_witness : 'a t -> 'b t -> ('a, 'b) Core.Type_equal.t option
val same_witness_exn : 'a t -> 'b t -> ('a, 'b) Core.Type_equal.t
val unit : unit t
val both : 'a t -> 'b t -> ('a * 'b) t
val map : 'k Core.Type_equal.Id.t -> 'cmp Core.Type_equal.Id.t -> 'a t -> ('k, 'a, 'cmp) Core.Map.t option t
val create : ?name:string -> unit -> 'a t
module Hidden : sig ... end