Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package hachis
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Parameter Make_._
type t = H.tA type of elements (in a hash set) or keys (in a hash map).
val void : tA sentinel value is a special value that must never be supplied as an argument to an operation such as add or find. A non-sentinel value x satisfies x != void && x != tomb. The sentinel values void and tomb must be distinct: that is, void != tomb must hold.
val tomb : tA sentinel value is a special value that must never be supplied as an argument to an operation such as add or find. A non-sentinel value x satisfies x != void && x != tomb. The sentinel values void and tomb must be distinct: that is, void != tomb must hold.