dbd:HMysql.dbd -> ProofEngineTypes.status ->
UriManager.uri list
-val universe_of_goals:
- dbd:HMysql.dbd -> Cic.metasenv -> ProofEngineTypes.goal list ->
+val signature_of:
+ Cic.metasenv ->
+ ProofEngineTypes.goal ->
+ MetadataConstraints.UriManagerSet.t
+
+val universe_of_goal:
+ dbd:HMysql.dbd ->
+ bool -> (* apply only or not *)
+ Cic.metasenv ->
+ ProofEngineTypes.goal ->
UriManager.uri list
val equations_for_goal: