Loop.1-L
include Interface.QUASIGROUP
include Interface.MAGMA
type t
val append : t -> t -> t
val empty : t