search

dannywillems / RML

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
36 stars 3 forks source link

Multiple with with and between them. #59

Closed dannywillems closed 7 years ago

dannywillems commented 7 years ago 
type t = PairWith.pair with type fst_typ = Int.t and type snd_typ = Int.t