How to use a type defined with a functor in a signature?

dannywillems / RML

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.

37 stars 3 forks source link

Closed dannywillems closed 7 years ago

dannywillems commented 7 years ago

Graphs for example. We would like to define the following signature:

let module GraphSig = struct
  type t = sig(graph)
    type node
    val succ : graph.node -> (List graph.node).t
end

dannywillems commented 7 years ago

Related to #32

dannywillems commented 7 years ago

Use with type ...