package acgtk

The type of the map

empty returns the empty map

optimum m returns None if m is empty and Some w if w is the best weight of the current computations stored in the map m.

pp fmt m pretty prints (a summary of) the map m on the formatter fmt.

add w e m returns m where e was added with weight w.

pop_optimum m returns None if m is empty and Some (c, w, m') where w is the best weight of the current computations stored in the map m, c is a computation with this weight, and m' is m where c was removed.