sig val output_verilog : Pervasives.out_channel -> Fnf_core.scope -> unit end