tests/hol4/hashmap_main/hashmapMain_OpaqueTheory.sig


1
2
3
4
5
6
7
8
9
10
11

signature hashmapMain_OpaqueTheory =
sig
  type thm = Thm.thm
  
  val hashmapMain_Opaque_grammars : type_grammar.grammar * term_grammar.grammar
(*
   [hashmapMain_Types] Parent theory of "hashmapMain_Opaque"
   
   
*)
end