let obj_constraints,rel_constraints,sort_constraints =
process_type_aux (Backbone 0) (CicMiniReduction.letin_nf term)
in
- (obj_constraints,rel_constraints,sort_constraints),
- (Some obj_constraints,Some rel_constraints,Some sort_constraints)
+ (obj_constraints,rel_constraints,sort_constraints)
;;
(*CSC: Debugging only *)
let get_constraints term =
let res = get_constraints term in
- let ((objs,rels,sorts),can) = res in
+ let (objs,rels,sorts) = res in
prerr_endline "Constraints on objs:" ;
List.iter
(function (s1,s2,n) ->
(s1 ^ " " ^ (match n with Some n' -> string_of_int n' | None -> "NULL") ^
" " ^ s2)
) sorts ;
- prerr_endline "The \"only\" constraints are the same." ;
res
;;