Module Code.Constant
type t = Js_of_ocaml_compiler.Code.constantval ocaml_equal :
Js_of_ocaml_compiler.Code.Constant.t ->
Js_of_ocaml_compiler.Code.Constant.t ->
bool optionGuaranteed equality in terms of OCaml (=): if constant_equal a b = Some v, then Poly.equal a b = v. This is used for optimization purposes.