val signature_of_goal:
dbd:Mysql.dbd -> ProofEngineTypes.status -> UriManager.uri list
+val equations_for_goal:
+ dbd:Mysql.dbd -> ProofEngineTypes.status -> UriManager.uri list
+
val locate:
dbd:Mysql.dbd ->
?vars:bool -> string -> UriManager.uri list