Interface for module Bubblesort
module
BubblesortFun
(
E
:
ORDERED
) :
SORT
with
type
elem
=
E
.
t
Pages last (re-)generated October 28, 2002 (
Martin Steffen
)
