cloref.out

staload "SATS/dlist.sats"

implement empty =
  @{ f = lam x =<cloref> x }

implement to_list (x) =
  x.f(list_nil())