Module type `Bastet__Option.LOOP_F`

Parameters

L : Bastet.Interface.LOOP

Signature

include Bastet.Interface.QUASIGROUP

include Bastet.Interface.MAGMA

type t

val append : t -> t -> t

val empty : t