Type Alias Assertion

type Assertion = {
    appliesToState?: AppliesToState;
    binding: Binding;
    id: string;
    scope: Scope;
    statement: Statement;
    type: AssertionType;
}