package cps_toolbox

You can search for identifiers within the package.

in-package search v0.2.0

package cps_toolbox

cps_toolbox
- README
- Library cps_toolbox
  - Cps_toolbox
    
    AVL
    
    Functional
    
    List
    
    Map
    
    Nat
    
    Option
    
    Order
    
    Result
    
    Set
- Sources
  - cps_toolbox
    
    AVL.ml
    
    Functional.ml
    
    List.ml
    
    Map.ml
    
    Nat.ml
    
    Option.ml
    
    Order.ml
    
    Result.ml
    
    Set.ml
    
    cps_toolbox.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Cps_toolbox.Option`Source

Sourceval none : 'a option

Sourceval some : 'a -> 'a option

Sourceval map : ('a -> 'b) -> 'a option -> 'b option

Sourceval map2 : ('a -> 'b -> 'c) -> 'a option -> 'b option -> 'c option