+let mk_constructor j = function
+ | Ref (d, u, Ind i) ->
+ reference_of_string (string_of_reference (Ref (d, u, Con (i,j))))
+ | _ -> assert false
+;;
+
+let mk_fix i j = function
+ | Ref (d, u, Fix _) ->
+ reference_of_string (string_of_reference (Ref (d, u, Fix (i,j))))
+ | _ -> assert false
+;;
+