ivy/test/stripinit1.ivy

#lang ivy1.7

type t

object foo(self:t)  = {
    var x : bool
    after init {
        x := false
    }
}

isolate iso(self:t) = foo(self)