This is true
if the output environment is guaranteed to emit the molecule at least once.
This is true
if the output environment is guaranteed to emit the molecule at least once.
This is false
for most environments.
Id of the output environment construct.
Id of the output environment construct.
Name of the construct: one of "do while"
, "condition of while"
, or "condition of do while"
.
This will be true
only for NotLastBlock environment.
This will be true
only for NotLastBlock environment.
Describes an output environment that is guaranteed to emit the molecule at least once. This is currently used only in a do-while construct.
Id of the output environment construct.
Name of the construct: one of
"do while"
,"condition of while"
, or"condition of do while"
.