let right,left = HExtlib.split_nth (List.length ctx - leftno) ctx in
let ref =
NReference.reference_of_spec uri (NReference.Ind (ind,i,leftno)) in
let right,left = HExtlib.split_nth (List.length ctx - leftno) ctx in
let ref =
NReference.reference_of_spec uri (NReference.Ind (ind,i,leftno)) in
(HExtlib.list_mapi
(fun (bound_names,rhs) i ->
let ref = NReference.mk_constructor (i+1) r in
(HExtlib.list_mapi
(fun (bound_names,rhs) i ->
let ref = NReference.mk_constructor (i+1) r in
| Skip t -> pretty_print_term status ("[[skipped]]"@::ctxt) t
| TLambda (name,t) ->
let name = capitalize `TypeVariable name in
| Skip t -> pretty_print_term status ("[[skipped]]"@::ctxt) t
| TLambda (name,t) ->
let name = capitalize `TypeVariable name in