Module Expert.Canonical_exp_constructorSource
Source
type 'a t = | Annotate of Bin_shape.Uuid.t * 'a| Base of Bin_shape.Uuid.t * 'a list| Tuple of 'a list| Unboxed_tuple of 'a list| Record of (string * 'a) list| Variant of (string * 'a list) list| Poly_variant of 'a option Bin_shape.Expert.Sorted_table.t| Application of 'a * 'a list| Rec_app of int * 'a list| Var of int
include Ppx_compare_lib.Comparable.S1
with type 'a t := 'a Bin_shape.Expert.Canonical_exp_constructor.t
Source
val compare :
('a -> 'a -> int) ->
'a Bin_shape.Expert.Canonical_exp_constructor.t ->
'a Bin_shape.Expert.Canonical_exp_constructor.t ->
intinclude Ppx_compare_lib.Comparable.S1__local
with type 'a t := 'a Bin_shape.Expert.Canonical_exp_constructor.t
Source
val sexp_of_t :
('a -> Sexplib0.Sexp.t) ->
'a Bin_shape.Expert.Canonical_exp_constructor.t ->
Sexplib0.Sexp.t