ProofEngineTypes.tactic
val auto_tac :
- MQIConn.handle ->
- status:ProofEngineTypes.status
- -> ProofEngineTypes.proof * ProofEngineTypes.goal list
+ MQIConn.handle -> ProofEngineTypes.status ->
+ ProofEngineTypes.proof * ProofEngineTypes.goal list
+