README

Start here

Library

Reference

Tutorials

Other

private accessesfunction

accesses()

Enumerate all valid state accesses of permissions of kind perm.

accesses((x = Read(),), Read()) === [(:x,)] accesses((x = Read(),), Write()) === []