Portless_Compiler (p.frenetic.5.0.5.doc.frenetic.netkat.Frenetic_netkat.Portless

val compile : 
  Syntax.policy ->
  Frenetic_kernel.Network.Net.Topology.t ->
  Syntax.policy

Compiles a portless policy to a portful policy using the provided topology