package archi

  1. Overview
  2. Docs
module type IO = sig ... end
module type S = sig ... end
module Make (Io : IO) : S with type +'a Io.t = 'a Io.t
include S with type +'a Io.t = 'a
module Io : sig ... end
module Component : sig ... end

Systems

module System : sig ... end