val inhyp_pos : string
val inbody_pos : string
+type relation =
+ | Eq of int
+ | Le of int
+ | Lt of int
+ | Ge of int
+ | Gt of int
+
type main_position =
- [ `MainConclusion of int option (* Pi depth *)
- | `MainHypothesis of int option (* Pi depth *)
+ [ `MainConclusion of relation option (* Pi depth *)
+ | `MainHypothesis of relation option (* Pi depth *)
]
type position =
val sort_tbl: unit -> string
val rel_tbl: unit -> string
val obj_tbl: unit -> string
-val conclno_tbl: unit -> string
-val fullno_tbl: unit -> string
-val hypno_tbl: unit -> string
val name_tbl: unit -> string
+val count_tbl: unit -> string
val library_sort_tbl: string
val library_rel_tbl: string
val library_obj_tbl: string
-val library_conclno_tbl: string
-val library_fullno_tbl: string
-val library_hypno_tbl: string
val library_name_tbl: string
+val library_count_tbl: string
+val library_hits_tbl: string