Module CongruenceClosure.NormalFormEval

type t = data
type result = T.v_prop list
val eval : t -> result