gospel.stdlib
Gospelstdlib.Map
Maps from keys of type 'a to values of type 'b are represented by Gospel functions of type 'a -> 'b.
'a
'b
'a -> 'b
gospel
ppx_odoc_of_gospel