Contents

  
(* Declare magic constants *)
CONSTANT WildCard = WildCard
CONSTANT Nil = Nil

(* Pluscal sets 'defaultInitValue' for unitialized variables *)
CONSTANT defaultInitValue <- Nil

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
tla-sbuilder-0.2.2	mustache/cfg/const_def.mustache
tla-sbuilder-0.2.1	mustache/cfg/const_def.mustache
tla-sbuilder-0.1.0	mustache/cfg/const_def.mustache