Module Controller.Make

Parameters

module Config : Config.S

Signature

module Scalar : sig ... end
module I : sig ... end
module O : sig ... end
module State : sig ... end
module For_synthesis : sig ... end