val coerc_carr_of_term: Cic.term -> coerc_carr
val name_of_carr: coerc_carr -> string
val uri_of_carr: coerc_carr -> UriManager.uri option
val to_list:
unit ->
val coerc_carr_of_term: Cic.term -> coerc_carr
val name_of_carr: coerc_carr -> string
val uri_of_carr: coerc_carr -> UriManager.uri option
val to_list:
unit ->