Expert.Canonical
module Exp1 : sig ... end
type t = Exp1.t0
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t -> t -> int
val sexp_of_t : t -> Sexplib0.Sexp.t