Module Fnf_c

module Fnf_c: sig .. end

Builds the simulation data structure.

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

Output a C model given a scope. output_c c_channer h_channel scope