template.Purity enum

← Attribute reference

Function purity. Absent (0) means unspecified (conservative).

Cases

Keyword	Value	Description
pure	1	No memory effects, deterministic.

Used by

• template.apply.purity
• template.call.purity
• template.decl.purity
• template.def.purity
• template.ukernel.purity