Package pybaz :: Package backends :: Module baz
[frames] | no frames]

Module baz

source code

Construction of tla commands



Classes
  Tla10
  Tla11
Variables
  tlasyn = None
  tlaobj = None