lem

Lem is a tool for lightweight executable mathematics
Module Lem_map_extra
val option_map : 'a Lem_map.mapKeyType_class -> ( 'a -> 'b -> 'c option ) -> ( 'a, 'b ) Pmap.map -> ( 'a, 'c ) Pmap.map