- | r -> prerr_endline ("get_checked_(co)fix on " ^ NReference.string_of_reference r); assert false
-;;
-
-let get_indty_leftno = function
- | NReference.Ref (uri, NReference.Ind _)
- | NReference.Ref (uri, NReference.Con _) ->
- (match get_checked_obj uri with
- | _,_,_,_, NCic.Inductive (_,left,_,_) -> left
- | _ ->prerr_endline "get_indty_leftno called on a non ind 2";assert false)
- | _ -> prerr_endline "get_indty_leftno called on a non indty";assert false