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