CongruenceClosure.LazyNormalFormEval
include sig ... end
type t = LazyEval.Make(NormalFormEval).t
val make : NormalFormEval.t -> t
val is_val : t -> bool
val force : t -> NormalFormEval.result
val equal : 'a -> 'b -> bool