(* This is free and unencumbered software released into the public domain. *)

val unreachable : unit -> unit

val unimplemented : string -> unit

val unsupported : string -> unit

val last : 'a list -> 'a option
