next up previous contents
Next: Objects Up: The Righteous syntax Previous: Types

Modules

Modules application uses currification:

OcamlRighteous
type t = Set.Make(M).t;;type t = (Set.Make M).t;


Daniel de Rauglaudre
9/1/1998