.FluxTrainingaccesses

function defined in module FluxTraining


			accesses()

Enumerate all valid state accesses of permissions of kind perm.

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

Methods

There is 1 method for FluxTraining.accesses: