Expand description

An OpDef which closes over zero or more States

Structs

An OpDef which closes over zero or more States