Bastet__String.Loop
include Bastet.Interface.QUASIGROUP
include Bastet.Interface.MAGMA
type t
val append : t -> t -> t
val empty : t