I eksempelet med utgiftsappen over kan du skrive en deklarasjon for å validere om en utgiftsrapport er opprettet med en utgiftslinje med null tilknyttede utgifter .

In the expense app example above , you can write an assertion to validate whether an expense report is created with an expense line item having zero cost associated .
