Module Typed.Meta

type t = {
  1. type_ : UnsizedType.t;
  2. loc : Location_span.t;
  3. adlevel : UnsizedType.autodifftype;
}
val create : type_:UnsizedType.t -> loc:Location_span.t -> adlevel:UnsizedType.autodifftype -> unit -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val empty : t