Module `LustreToRust`

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.