Up – Package index » frenetic » Library frenetic.async » Frenetic_async » NetKAT_Controller

Module `Frenetic_async.NetKAT_Controller`Source

Sourcemodule type PLUGIN = sig ... end

Sourcemodule type CONTROLLER = sig ... end

Sourcemodule Make (P : PLUGIN) : CONTROLLER