open Ast
open Sast

module Translate :
  sig
    val translate_expr: int -> string -> xexpr -> string
    val translate_defvar: xdefvar -> string
    val translate_xdefun: xdefun -> string
    val translate_program: xprogram -> string
    val translate_to_c: xprogram -> string
  end
