base.True

read .str: imm base.Str -> …,
imm .if[R$0](f: mut base.ThenElse[R$0]): R$0 -> …,
imm &&(b: imm base.Bool): imm base.Bool -> …, // from base.Bool/0
imm ||(b: imm base.Bool): imm base.Bool -> …, // from base.Bool/0
imm ?[R$0](f: mut base.ThenElse[R$0]): R$0 -> …, // from base.Bool/0
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 -> …,
read .str: imm base.Str -> …,
imm .if[R$0](f: mut base.ThenElse[R$0]): R$0 -> …,
imm &&(b: imm base.Bool): imm base.Bool -> …, // from base.Bool/0
imm ||(b: imm base.Bool): imm base.Bool -> …, // from base.Bool/0
imm ?[R$0](f: mut base.ThenElse[R$0]): R$0 -> …, // from base.Bool/0
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 -> …,