Module Expr.Typed

module Meta : sig ... end
type nonrec t = Meta.t t
val sexp_of_t : t -> Sexplib0.Sexp.t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
val equal : t -> t -> bool
val type_of : t -> UnsizedType.t
val adlevel_of : t -> UnsizedType.autodifftype
val pp : t Fmt.t
include Core.Comparator.S with type t := t
type comparator_witness
val comparator : (t, comparator_witness) Base__Comparator.comparator