package base

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `Using_comparator.Empty_without_value_restriction`Source

Parameters

module Elt : Comparator.S1

Signature

Sourceval empty : ('a Elt.t, Elt.comparator_witness) t