val eq_ind_URI: unit -> UriManager.uri
val eq_ind_r_URI: unit -> UriManager.uri
val sym_eq_URI: unit -> UriManager.uri
val eq_XURI: unit -> UriManager.uri
val trans_eq_URI: unit -> UriManager.uri
val eq_ind_URI: unit -> UriManager.uri
val eq_ind_r_URI: unit -> UriManager.uri
val sym_eq_URI: unit -> UriManager.uri
val eq_XURI: unit -> UriManager.uri
val trans_eq_URI: unit -> UriManager.uri