Sha256: da4d0e385bce3f2df298a33d5891daaef011ee281e7eedff6f543f2d32f67d65
Contents?: true
Size: 152 Bytes
Versions: 38
Compression:
Stored size: 152 Bytes
Contents
node count(init: int; reset, event: bool) returns (c: int); let c = init -> if reset then init else if event then pre(c)+1 else pre(c); tel;
Version data entries
38 entries across 38 versions & 2 rubygems