sig
  val implem_to_rust :
    string -> (Scope.t -> LustreNode.t) -> LustreNode.t -> unit
  val oracle_to_rust :
    string ->
    (Scope.t -> LustreNode.t) ->
    LustreNode.t ->
    string * (Lib.position * int) list * (string * Lib.position * int) list
end