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