\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-val open_out: string -> out_channel
+IFDEF MANAGER THEN
-val output_entity: Layer.status -> out_channel -> Brg.entity -> bool
+val open_out: string -> Brg.manager
-val close_out: out_channel -> unit
+END