(*
** selection sort of the temptorial style
*)

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

fun{a:t@ype} lte_selsort : (a, a) -> bool
fun{a:t@ype} selsort (A: array0 a): void

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

(* end of [selsort.sats] *)