package lutin

  1. Overview
  2. Docs
package lutin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Luc2aliceSource

Sourcetype 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;
}
Sourceval lucky_seed : int option -> string
Sourceval define_output_proc : string -> Exp.var list -> string
Sourceval soi : int -> string
Sourceval to_char : Type.t -> string
Sourceval gen_alice_var_tab : string -> string -> Exp.var list -> string
Sourceval gen_alice_stub : alice_args -> string
Sourceval my_open_out : string -> out_channel
Sourceval gen_alice_stub_c : alice_args -> unit
Sourceval gen_alice_stub_h : alice_args -> unit
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