package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type

Every GROUP is a LOOP.

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

Parameters

module G : GROUP

Signature

include QUASIGROUP
include MAGMA
type t
val append : t -> t -> t
val empty : t