base.Assert

imm !(assertion: imm base.Bool): imm base.Void -> …,
imm ![R$0](assertion: imm base.Bool, cont: mut base.AssertCont[R$0]): R$0 -> …,
imm ![R$0](assertion: imm base.Bool, msg: imm base.Str, cont: mut base.AssertCont[R$0]): R$0 -> …,
imm !(assertion: imm base.Bool): imm base.Void -> …,
imm ![R$0](assertion: imm base.Bool, cont: mut base.AssertCont[R$0]): R$0 -> …,
imm ![R$0](assertion: imm base.Bool, msg: imm base.Str, cont: mut base.AssertCont[R$0]): R$0 -> …,