aboutsummaryrefslogtreecommitdiff
path: root/lib/SATS/init.sats
blob: c9d9d89a281c7debf2900e08d97b66f15fda3839 (plain)
1
2
3
4
viewtypedef initializable (vt:viewt@ype) =
  [initialized: bool] @{ initialized = bool initialized, obj = opt (vt, initialized) }

fun {vt:viewt@ype} uninitialized (v : opt(vt,false)): initializable vt