Sha256: 89a351654244ba99a516a4d200684d0e35915ed8fadac185371d9dffe6165a73

Contents?: true

Size: 276 Bytes

Versions: 4

Compression:

Stored size: 276 Bytes

Contents

(*
   Define possibility for operator {{possibility}}

   We require that {{META.outputModule}} is false allways.
   Interpreat violation of this property that it is possible
   to reach a state where the property holds.

*)


possible_{{possibility}} == [] ~{{possibility}}

Version data entries

4 entries across 4 versions & 1 rubygems

Version Path
tla-sbuilder-0.3.4 mustache/possibility/possibility_definition.mustache
tla-sbuilder-0.2.2 mustache/possibility/possibility_definition.mustache
tla-sbuilder-0.2.1 mustache/possibility/possibility_definition.mustache
tla-sbuilder-0.1.0 mustache/possibility/possibility_definition.mustache