signature betree_OpaqueTheory =
sig
  type thm = Thm.thm
  
  val betree_Opaque_grammars : type_grammar.grammar * term_grammar.grammar
(*
   [betree_Types] Parent theory of "betree_Opaque"
   
   
*)
end