Module closure

Source
Expand description

An OpDef which closes over zero or more States

Structsยง

Closure
An OpDef which closes over zero or more States