package bastet

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

Module String.LoopSource

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

include Interface.QUASIGROUP with type t = string
include Interface.MAGMA with type t = string
Sourcetype t = string
Sourceval append : t -> t -> t
Sourceval empty : t