base.Bool

read .str: imm base.Str, // from base.Stringable/0
imm .if[R$0](f: mut base.ThenElse[R$0]): R$0,
imm &&(b: imm base.Bool): imm base.Bool -> …,
imm ?[R$0](f: mut base.ThenElse[R$0]): R$0 -> …,
imm ||(b: imm base.Bool): imm base.Bool -> …,
imm .not: imm base.Bool,
imm .or(b: imm base.Bool): imm base.Bool,
imm .and(b: imm base.Bool): imm base.Bool,
read .toImm: imm base.Bool, // from base.ToImm/1
read .str: imm base.Str, // from base.Stringable/0
imm .if[R$0](f: mut base.ThenElse[R$0]): R$0,
imm &&(b: imm base.Bool): imm base.Bool -> …,
imm ?[R$0](f: mut base.ThenElse[R$0]): R$0 -> …,
imm ||(b: imm base.Bool): imm base.Bool -> …,
imm .not: imm base.Bool,
imm .or(b: imm base.Bool): imm base.Bool,
imm .and(b: imm base.Bool): imm base.Bool,
read .toImm: imm base.Bool, // from base.ToImm/1