MQGTypes.full_position
val set_main_position : MQGTypes.main_position -> MQGTypes.optional_depth ->
MQGTypes.main_position
-
-(* these functions give some universes for "query_of_constraints" ---------*)
-
-val universe_for_search_pattern : MQGTypes.universe
-val universe_for_match_conclusion : MQGTypes.universe