jon.recoil.org

Module Code.Constant

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.