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