procedures.0rx

testFunction1 (a,b,c) (d,e,f) {
  if (T$f()) {
    // do nothing
  } elif (#q$r().f()) {
    \ require(v).g()
  } elif (zzz) {
    // sleep
  }

  x <- Type<#z,T<#m>>{ r, Type$new() }

  x <- empty

  scoped {
    optional T myvar <- reduce<#x,#y>(q)
  } in if (present(myvar)) {
    \ unqualified()
  } else {
    // something
  }

  scoped {
    optional T myvar <- reduce<#x,#y>(q)
  } in v, _ <- x.process(myvar)

  scoped {
    // ...
  } cleanup {
    x <- y
  } in \ x.process()

  \ z.call().call()
  x, weak [#k|Type] y, _ <- z.call()
  x <- z.T<#z>$call().call()
  return _
  return a
  return a, z.call().call(), c

  while (true) {
    \ failure.to().execute()
    return x
  } update {
    x <- y
  }
}

testFunction2 (a,b,c) {}