dbd:HMysql.dbd -> ProofEngineTypes.status -> UriManager.uri list
val equations_for_goal:
- dbd:HMysql.dbd -> ProofEngineTypes.status -> UriManager.uri list
+ dbd:HMysql.dbd ->
+ ?signature:MetadataConstraints.term_signature ->
+ ProofEngineTypes.status -> UriManager.uri list
val experimental_hint:
dbd:HMysql.dbd ->