path: root/lib/DATS/init.dats

staload "lib/SATS/init.sats"

#define ATS_DYNLOADFLAG 0

implement {vt:viewt@ype} empty (v) =
let
in
  @{enabled = false, obj = v}: enablable vt
end