You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 3881 Reporter: Jean-Christophe Filliatre Assigned to:@alainfrisch Status: resolved (set by @alainfrisch on 2016-12-07T17:40:38Z) Resolution: suspended Priority: normal Severity: feature Category: standard library
Bug description
A trivial feature wish:
It would be nice to have a Int module for integers, so that we could simply write
module S = Set.Make(Int)
It makes sense, since we already have similar modules Char, Int32, etc.
The text was updated successfully, but these errors were encountered:
Original bug ID: 3881
Reporter: Jean-Christophe Filliatre
Assigned to: @alainfrisch
Status: resolved (set by @alainfrisch on 2016-12-07T17:40:38Z)
Resolution: suspended
Priority: normal
Severity: feature
Category: standard library
Bug description
A trivial feature wish:
It would be nice to have a Int module for integers, so that we could simply write
module S = Set.Make(Int)
It makes sense, since we already have similar modules Char, Int32, etc.
The text was updated successfully, but these errors were encountered: