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