Up – Package index » lustre-v6 » Library lustre-v6 » TopoSort

Module `TopoSort`Source

Time-stamp: <modified the 03/02/2016 (at 10:04) by Erwan Jahier>

Sourcemodule type PartialOrder = sig ... end

Sourcemodule type S = sig ... end

module Make
  (PO : PartialOrder) : 
  S with type elt = PO.elt with type store = PO.store