(* $Id: nCic.ml 9058 2008-10-13 17:42:30Z tassi $ *)
-val mk_inverter: string -> NCic.inductiveType -> int -> (#NTacStatus.tac_status as 's) -> string -> 's * NCic.obj
-
+val mk_inverter:
+ string -> bool -> NCic.inductiveType -> int -> ?selection:bool list ->
+ NCic.sort -> (#NTacStatus.tac_status as 's) -> string ->
+ 's * NCic.obj