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