val params_of_obj: Cic.obj -> UriManager.uri list
val attributes_of_obj: Cic.obj -> Cic.attribute list
val projections_of_record: Cic.obj -> UriManager.uri -> UriManager.uri list
-val arity_of_composed_coercion: Cic.obj -> int
val is_generated: Cic.obj -> bool
(** mk_rels [howmany] [from]
val alpha_equivalence: Cic.term -> Cic.term -> bool
-(* FG: Consistency Check
- * detects applications without arguments
+(* FG: Consistency Check. Detects:
+ * applications without arguments, folded applications, non-positive rels
*)
val is_sober: Cic.context -> Cic.term -> bool