package coq-waterproof

  1. Overview
  2. Docs
type elt

Type of the elements

val empty : elt

Empty value

val merge : elt -> elt -> elt

How to merge two elements