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