Up – bastet » Bastet » Option » Quasigroup

Module `Option.Quasigroup`

Parameters

Q : Interface.QUASIGROUP

Signature

include Interface.MAGMA

type t

val append : t -> t -> t