def in.logic2

bend-osdev-acpi@0.1.1.0 · aml_interp.bend:1152

import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E

1152def in.logic2(ra: Result<&2, &2, E.AcpiError, Bool>, rb: Result<&2, &2, E.AcpiError, Bool>, op: Nat) -> Result<&2, &2, E.AcpiError, Bool>:
1153  match ra rb:
1154    case Done{x} Done{y}:
1155      match op:
1156        case 144n:
1157          Done{Bool.and(x, y)}
1158        case _:
1159          Done{Bool.or(x, y)}
1160    case Fail{e} _:
1161      Fail{e}
1162    case Done{x} Fail{e}:
1163      Fail{e}