Module LustreToRust

module LustreToRust: sig .. end
Compilation from LustreNode.t to Rust.

val implem_to_rust : string -> (Scope.t -> LustreNode.t) -> LustreNode.t -> unit
Compiles a lustre node to Rust as a project in the directory given as first argument.
val oracle_to_rust : string ->
(Scope.t -> LustreNode.t) ->
LustreNode.t ->
string * (Lib.position * int) list * (string * Lib.position * int) list
Compiles a lustre node as an oracle.