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

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

fun insort (xs: list0 int): list0 int

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

(* end of [insort.sats] *)