package base

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

To get around the value restriction, apply the functor and include it. You can see an example of this in the Poly submodule below.

Parameters

module K : Comparator.S1

Signature

val empty : ('a K.t, 'v, K.comparator_witness) t