Module Constraints.Utils

val get_term : 'a t -> 'a complete_term