package lutin
-
lutin
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lutin
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type optionT = {mutable env : string list;mutable main_node : string;mutable boot : bool;mutable load_mem : bool;mutable pp : string option;mutable output : string option;mutable rif : string option;mutable calling_module_name : string;mutable gen_mode : gen_mode;mutable step_mode : step_mode;mutable seed : int option;mutable precision : int option;mutable use_sockets : bool;mutable sock_addr : string;mutable sock_port : int;mutable output_dir : string;mutable oracle_ec : string option;
}val option : optionT