dbd:Mysql.dbd ->
?vars:bool -> string -> UriManager.uri list
-val hint:
- dbd:Mysql.dbd ->
- ?facts:bool ->
- ?signature:MetadataConstraints.term_signature ->
- ProofEngineTypes.status ->
- (UriManager.uri *
- (ProofEngineTypes.proof * ProofEngineTypes.goal list)) list
-
val experimental_hint:
dbd:Mysql.dbd ->
?facts:bool ->