Up
–
codex
»
Constraints
»
Const_eval
»
Make
»
Constraints
» Utils
Module
Constraints.Utils
val
get_term :
'a
t
->
'a
complete_term