sig
  type value
  type env = (string * Inter.value) list
  val print_value : Pervasives.out_channel -> Inter.value -> unit
  val interv : Inter.env -> S.Ast.t -> Inter.value
end