Module Code.Constant

type t = constant
val ocaml_equal : t -> t -> bool option

Guaranteed equality in terms of OCaml (=): if constant_equal a b = Some v, then Poly.(=) a b = v. This is used for optimization purposes.