base.False

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