+val signature_of_hypothesis:
+ Cic.hypothesis list ->
+ Cic.metasenv ->
+ MetadataConstraints.UriManagerSet.t
+
+val close_with_types:
+ MetadataConstraints.UriManagerSet.t ->
+ Cic.metasenv ->
+ Cic.context ->
+ MetadataConstraints.UriManagerSet.t
+