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.equal a b = v. This is used for optimization purposes.
(=)
constant_equal a b = Some v
Poly.equal a b = v