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
include Ppx_compare_lib.Comparable.S with type t := t
include Sexplib0.Sexpable.S with type t := t
include Ppx_hash_lib.Hashable.S with type t := t
include Common.Specialized.Meta with type t := t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
include Ppx_hash_lib.Hashable.S with type t := t
val hash_fold_t : t Base__Ppx_hash_lib.hash_fold
val hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value
include Common.Pretty.S with type t := t
val pp : Stdlib.Format.formatter -> t -> unit
val empty : t