(* *)
(******************************************************************************)
-val get_constraints:
- Cic.term ->
- MQueryGenerator.must_restrictions * MQueryGenerator.only_restrictions
+val get_constraints: Cic.term -> MQueryGenerator.must_restrictions