rune-langium / core/src / RosettaFunction / addPostCondition
Function: addPostCondition()
ts
function addPostCondition(node, postCondition): void;Defined in: packages/core/src/generated/domain.ts:2045
Parameters
| Parameter | Type |
|---|---|
node | Dehydrated<RosettaFunction> |
postCondition | Dehydrated<Condition> |
Returns
void