package aez

  1. Overview
  2. Docs

Parameters

module X : OrderType

Signature

type t
type elem = X.t
val empty : t
val pop : t -> elem * t
val add : t -> elem list -> t
val elements : t -> elem list