diff --git a/inspect-ui/src/types.ts b/inspect-ui/src/types.ts index bab0ade..773d18b 100644 --- a/inspect-ui/src/types.ts +++ b/inspect-ui/src/types.ts @@ -103,7 +103,8 @@ export interface Exception { export type ResidualNode = | { op: "true" } | { op: "false" } - | { op: "always" | "now" | "next" | "not"; arg: ResidualNode } + | { op: "now" | "next" | "not"; arg: ResidualNode } + | { op: "always"; arg: ResidualNode; within?: { amount: number; unit: string } } | { op: "eventually"; arg: ResidualNode; within?: { amount: number; unit: string } } | { op: "and" | "or" | "implies"; left: ResidualNode; right: ResidualNode } | { op: "predicate"; name?: string }