Module CongruenceClosure.LazyNormalFormEval

include sig ... end
val make : NormalFormEval.t -> t
val is_val : t -> bool
val force : t -> NormalFormEval.result
val equal : 'a -> 'b -> bool