package stdune

  1. Overview
  2. Docs
package stdune
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val empty : t

Must be the identity of combine:

  • combine empty t = t
  • combine t empty = t
val combine : t -> t -> t

Must be associative:

  • combine a (combine b c) = combine (combine a b) c