package rfsm

  1. Overview
  2. Docs
package rfsm
Legend:
Library
Module
Module type
Parameter
Class
Class type

Compiler options

type target =
  1. | Dot
  2. | Sim
  3. | CTask
  4. | SystemC
  5. | Vhdl
val main_prefix : string Stdlib.ref
val target : target option Stdlib.ref
val use_old_syntax : bool Stdlib.ref
val target_dir : string Stdlib.ref
val main_name : string Stdlib.ref
val print_version : bool Stdlib.ref
val do_run : bool Stdlib.ref
val dump_tenv : bool Stdlib.ref
val dump_typed : bool Stdlib.ref
val dump_static : bool Stdlib.ref
val dot_abbrev_types : bool Stdlib.ref
val normalize : bool Stdlib.ref
val dump_backtrace : bool Stdlib.ref
val gui : bool Stdlib.ref
val set_main_prefix : string -> unit
val set_old_syntax : unit -> unit
val set_sim : unit -> unit
val set_dot : unit -> unit
val set_ctask : unit -> unit
val set_systemc : unit -> unit
val set_vhdl : unit -> unit
val set_print_version : unit -> unit
val set_dump_typed : unit -> unit
val set_dump_tenv : unit -> unit
val set_dump_static : unit -> unit
val set_target_dir : string -> unit
val set_main_name : string -> unit
val set_normalize : unit -> unit
val set_gui : unit -> unit
val set_synchronous_actions : unit -> unit
val set_sequential_actions : unit -> unit
val set_sim_trace : int -> unit
val set_dot_no_captions : unit -> unit
val set_dot_short_trans : unit -> unit
val set_show_models : unit -> unit
val set_dot_abbrev_types : unit -> unit
val set_dot_qual_ids : unit -> unit
val set_dot_boxed : unit -> unit
val set_vcd_default_int_size : int -> unit
val set_lib_dir : string -> unit
val set_stop_time : int -> unit
val set_systemc_time_unit : string -> unit
val set_sc_trace : unit -> unit
val set_sc_double_float : unit -> unit
val set_vhdl_time_unit : string -> unit
val set_vhdl_ev_duration : int -> unit
val set_vhdl_rst_duration : int -> unit
val set_vhdl_use_numeric_std : unit -> unit
val set_vhdl_bool_as_bool : unit -> unit
val set_vhdl_trace : unit -> unit
val set_vhdl_dump_ghw : unit -> unit
val spec : (string * Stdlib.Arg.spec * string) list
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct