package coq-waterproof

  1. Overview
  2. Docs

Generic mergeable type

type elt

Type of the elements

val empty : elt

Empty value

val merge : elt -> elt -> elt

How to merge two elements

OCaml

Innovation. Community. Security.