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