Contents

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


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

(* Defined in extending modules  *)
CONSTANT SetStepInput <- Run_SetStepInput

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
tla-sbuilder-0.3.9	mustache/cfg/const_def.mustache
tla-sbuilder-0.3.8	mustache/cfg/const_def.mustache
tla-sbuilder-0.3.7	mustache/cfg/const_def.mustache