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