Up – bastet » Bastet » Option » LOOP_F

Module type `Option.LOOP_F`

Parameters

L : Interface.LOOP

Signature

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

include Interface.QUASIGROUP

include Interface.MAGMA

type t

val append : t -> t -> t

val empty : t