Logo Paket

Map Module

Functions and values

Function or value Description

merge f m1 m2

Full Usage: merge f m1 m2

Parameters:
    f : 'b -> 'b -> 'b
    m1 : Map<'a, 'b>
    m2 : Map<'a, 'b>

Returns: Map<'a, 'b>
Type parameters: 'b, 'a (requires comparison)
f : 'b -> 'b -> 'b
m1 : Map<'a, 'b>
m2 : Map<'a, 'b>
Returns: Map<'a, 'b>

Type something to start searching.