S.Kind
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
Return true if the caller
element kind matches the callee
element kind. Used during trace expansion; we will only consider expanding the trace from caller into callee if this evaluates to true. This can normally just be equal
, but something fuzzier may be required if t
is a type that contains identifiers from the caller/callee
val pp : F.formatter -> t -> unit