edalorzo

(* Returns the head of a list. *)
fun head(xs) =
	case xs of
		[] => raise List.Empty
	  | (x::_) => x

(* Returns the tail of a list. *)
fun tail(xs) =
	case xs of
		[] => raise List.Empty