package baby

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

baby
- Baby
  - BASE_MAP
  - BASE_SET
  - Custom
    
    Make
    
    E
    
    Map
    
    Enum
    
    Set
    
    Enum
    
    Map
    
    Make
    
    E
    
    Enum
    
    Set
    
    Make
    
    E
    
    Enum
    
    _
  - H
    
    Make
    
    E
    
    Map
    
    Enum
    
    Set
    
    Enum
    
    Map
    
    Make
    
    E
    
    Enum
    
    Set
    
    Make
    
    E
    
    Enum
  - MAP
    
    Enum
  - OrderedType
  - SET
    
    Enum
  - SET_MAP
    
    Make
    
    E
    
    Map
    
    Enum
    
    Set
    
    Enum
    
    Map
    
    Make
    
    E
    
    Enum
    
    Set
    
    Make
    
    E
    
    Enum
  - W
    
    Make
    
    E
    
    Map
    
    Enum
    
    Set
    
    Enum
    
    Map
    
    Make
    
    E
    
    Enum
    
    Set
    
    Make
    
    E
    
    Enum

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module E : OrderedType

Signature

module Set : SET with type elt = E.t

module Map : MAP with type key = E.t

val domain : 'a Map.t -> Set.t

domain m returns the domain of the map m, that is, the set of all keys for which there is a binding in the map m.

Time complexity: $O(n)$ , where $n$ is the size of the map m.

val lift : (Map.key -> 'a) -> Set.t -> 'a Map.t

lift f s returns a map whose domain is the set s and where every key x in the set s is mapped to the value f x.

Time complexity: $O(n)$ , where $n$ is the size of the set s.