Up
–
codex
»
Constraints
»
Smt
»
MakeHorn
»
C
» Utils
Module
C.Utils
val
get_term :
'a
t
->
'a
complete_term