Bastet__Option.Loop
L : Bastet.Interface.LOOP
include Bastet.Interface.QUASIGROUP
include Bastet.Interface.MAGMA
type t
val append : t -> t -> t
val empty : t