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.
(=)
constant_equal a b = Some v
Poly.(=) a b = v