package lutin

  1. Overview
  2. Docs
type gen_mode =
  1. | Lustre
  2. | Scade
  3. | Alices
  4. | Luciole
  5. | Nop
type step_mode =
  1. | Inside
  2. | Edges
  3. | Vertices
type optionT = {
  1. mutable env : string list;
  2. mutable main_node : string;
  3. mutable boot : bool;
  4. mutable load_mem : bool;
  5. mutable pp : string option;
  6. mutable output : string option;
  7. mutable rif : string option;
  8. mutable calling_module_name : string;
  9. mutable gen_mode : gen_mode;
  10. mutable step_mode : step_mode;
  11. mutable seed : int option;
  12. mutable precision : int option;
  13. mutable use_sockets : bool;
  14. mutable sock_addr : string;
  15. mutable sock_port : int;
  16. mutable output_dir : string;
  17. mutable oracle_ec : string option;
}
val option : optionT
val main : Exp.var list -> Exp.var list -> Exp.var list -> unit