package lutin

  1. Overview
  2. Docs
type alice_args = {
  1. env_name : string;
  2. alice_module_name : string;
  3. seed : int option;
  4. env_in_vars : Exp.var list;
  5. env_out_vars : Exp.var list;
  6. use_sockets : bool;
  7. output_dir : string;
}
val lucky_seed : int option -> string
val define_output_proc : string -> Exp.var list -> string
val soi : int -> string
val to_char : Type.t -> string
val gen_alice_var_tab : string -> string -> Exp.var list -> string
val gen_alice_stub : alice_args -> string
val my_open_out : string -> out_channel
val gen_alice_stub_c : alice_args -> unit
val gen_alice_stub_h : alice_args -> unit
OCaml

Innovation. Community. Security.