DynLimits_Infinity (FUN) ¶ FUNCTION DynLimits [...] Return DynLimits

DynLimits_LessOrEqual (FUN) ¶ FUNCTION DynLimits [...] Const l0 DynLimits l

DynLimits_Lint (FUN) ¶ FUNCTION DynLimits [...] limits: l := l

DynLimits_Max (FUN) ¶ FUNCTION DynLimits [...] Type Inout l DynLimits

DynLimits ¶ DynLimits (Struct) DynLimits_DivInf (Function) DynLimits

DynLimits_Min (FUN) ¶ FUNCTION DynLimits [...] Type Inout l DynLimits

DynLimits_Mult (FUN) ¶ FUNCTION DynLimits [...] Return DynLimits

DynLimits_MultF (FUN) ¶ FUNCTION DynLimits [...] Return DynLimits

DynLimits_MultS (FUN) ¶ FUNCTION DynLimits [...] Return DynLimits

DynLimits_Positive (FUN) ¶ FUNCTION DynLimits [...] Const l DynLimits