* http://cs.unibo.it/helm/.
*)
-val searchPattern : MQIConn.handle ->
+val matchConclusion : MQIConn.handle ->
?output_html:(string -> unit) ->
(* boolean value: true = in main position *)
- choose_must:((MQueryGenerator.uri * bool) list list ->
- (MQueryGenerator.uri * bool) list ->
- (MQueryGenerator.uri * bool) list) ->
+ choose_must:((MQGTypes.uri * bool) list list ->
+ (MQGTypes.uri * bool) list ->
+ (MQGTypes.uri * bool) list) ->
unit -> status: ProofEngineTypes.status -> string list