CristalCaveGem » LustreC

module type MODIFIERS_HDR = sig

  val print_machine_decl_prefix: Format.formatter -> machine_t -> unit

end

module EmptyMod = struct

  let print_machine_decl_prefix = fun _ _ -> ()

end

module Main = functor (Mod: MODIFIERS_HDR) -> struct

    fprintf fmt

      "#include <stdint.h>@,\

       %a\

      (if !Options.mpfr then

         pp_print_endcut "#include <mpfr.h>"

       else pp_print_nothing) ()

      (Arrow.arrow_top_decl ()).top_decl_owner

      (if !Options.cpp then "pp" else "")

  let rec print_static_val pp_var fmt v =

    match v.value_desc with

       %a\

       %a\

       %a\

       #endif\

       @]"

         print_machine_struct

         ~pp_epilogue:pp_print_cutcut) machines

      (* Print the prototypes of all machines *)

      (pp_print_list

         ~pp_open_box:pp_open_vbox0