Up
–
goblint
»
Goblint_lib
»
CongruenceClosure
» NormalFormEval
Module
CongruenceClosure.NormalFormEval
type
t
=
data
type
result
=
T.v_prop
list
val
eval :
t
->
result