| [Compiler.saveMono] size: 12 | |
| def f b a.1 : EST.Out IO.Error lcAny PUnit := | |
| jp _jp.2 a _y.3 : EST.Out IO.Error lcAny PUnit := | |
| let _x.4 := print a _y.3; | |
| cases _x.4 : EST.Out IO.Error lcAny PUnit | |
| | EST.Out.ok a.5 a.6 => | |
| let _x.7 := print a a.6; | |
| return _x.7 | |
| | EST.Out.error a.8 a.9 => | |
| return _x.4; | |
| cases b : EST.Out IO.Error lcAny PUnit | |
| | Bool.false => | |
| let _x.10 := 1; | |
| goto _jp.2 _x.10 a.1 | |
| | Bool.true => | |
| let _x.11 := 0; | |
| goto _jp.2 _x.11 a.1 |