(*
** Some code used in the lecture
*)

(* ****** ****** *)

staload "intset.sats"

(* ****** ****** *)

#define nil list0_nil
#define cons list0_cons

(* ****** ****** *)

local

assume intset = list0 (int) // ordered

in

implement intset_nil = nil
implement intset_sing (x) = cons (x, nil)

end // end of [local]

(* ****** ****** *)

implement
fprint_intset (out, xs) =
  intset_foreach (xs, lam (x) => fprint (out, x))
// end of [fprint_intset]

(* ****** ****** *)

(* end of [intset.dats] *)