Up – bastet » Bastet » Interface » LOOP

Module type `Interface.LOOP`

A LOOP only needs to be commutative with the empty element.

include QUASIGROUP

include MAGMA

type t

val append : t -> t -> t

val empty : t