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