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