M | |
| make [Luc4ocaml] |
Builds the initial state of the Lucky machine
|
R | |
| rif_read [Luc4ocaml] |
Reads from an in_channel Lucky inputs in RIF
|
| rif_write [Luc4ocaml] | write oc inputs outputs writes the inputs and outputs.
|
| rif_write_interface [Luc4ocaml] |
writes the input and output var names and types.
|
S | |
| step [Luc4ocaml] |
the default step mode is StepInside
|
| step_se [Luc4ocaml] |
side-effect version of step
|
| string_of_value [Luc4ocaml] |
Pretty-print
|