term_of_nref: (NReference.reference -> 'term) ->
string -> string -> 'term codomain_item
val mk_choice:
mk_appl: ('term list -> 'term) ->
mk_implicit: (bool -> 'term) ->
term_of_nref: (NReference.reference -> 'term) ->
string -> string -> 'term codomain_item
val mk_choice:
mk_appl: ('term list -> 'term) ->
mk_implicit: (bool -> 'term) ->