package lustre-v6

  1. Overview
  2. Docs

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

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

Innovation. Community. Security.