Sha256: 1f901983613a95c85f4fcfb357640bead432ede1f3e0f8d47dcc42c4a1753a6d
Contents?: true
Size: 287 Bytes
Versions: 3
Compression:
Stored size: 287 Bytes
Contents
(*
Define possibility for operator '{{possibility}}'.
We require that '{{META.outputModule}}' is false always.
Interpret violation of this property to mean that it is
possible to reach a state where the operator holds.
*)
possible_{{possibility}} == [] ~{{possibility}}
Version data entries
3 entries across 3 versions & 1 rubygems