package prbnmcn-basic-structures

  1. Overview
  2. Docs

Module type Basic_intf.MonoidSource

Monoid

type t
val one : t
val mul : t -> t -> t