(* *)
(******************************************************************************)
-val get_constraints:
- Cic.term ->
-(*
- MQueryGenerator.must_restrictions * MQueryGenerator.can_restrictions
-*)
- ((string * string * int option) list * (string * int) list *
- (string * int * string) list) *
- ((string * string * int option) list option * (string * int) list option *
- (string * int * string) list option)
+val get_constraints: Cic.term -> MQueryGenerator.must_restrictions