Module Imandra_prelude.Map
val const : 'b -> ( _, 'b ) tval add : 'a -> 'b -> ( 'a, 'b ) t -> ( 'a, 'b ) tval add' : ( 'a, 'b ) t -> 'a -> 'b -> ( 'a, 'b ) tval get : 'a -> ( 'a, 'b ) t -> 'bval get' : ( 'a, 'b ) t -> 'a -> 'bval get_default : ( _, 'b ) t -> 'bval of_list : default:'b -> ('a * 'b) list -> ( 'a, 'b ) tval filter_map :
default:( 'b -> 'c ) ->
f:( 'a -> 'b -> 'c option ) ->
( 'a, 'b ) t ->
( 'a, 'c ) tval for_all :
default:( 'b -> bool ) ->
f:( 'a -> 'b -> bool ) ->
( 'a, 'b ) t ->
boolval merge :
default:( 'b -> 'c -> 'd ) ->
f_both:( 'a -> 'b -> 'c -> 'd option ) ->
f1:( 'a -> 'b -> 'd option ) ->
f2:( 'a -> 'c -> 'd option ) ->
( 'a, 'b ) t ->
( 'a, 'c ) t ->
( 'a, 'd ) t