(*
** Course: CAS CS 525, Spring, 2011
** Instructor: Hongwei Xi (hwxi AT cs DOT bu DOT edu)
*)

(* ****** ****** *)

staload "trans2.sats"

(* ****** ****** *)

datatype v2al =
  | V2ALbool of bool
  | V2ALint of int
  | V2ALfun of funlab
  | V2ALstr of string
  | V2ALtup of list0 v2al 
// end of [v2al]

typedef v2alist = list0 (v2al)

(* ****** ****** *)

fun fprint_v2al (out: FILEref, v: v2al): void
fun fprint_v2allst (out: FILEref, vs: list0 v2al): void

fun print_v2al (v: v2al): void and prerr_v2al (v: v2al): void

(* ****** ****** *)

fun interp2_prog (xs: instrlst, vp: valprim): v2al

(* ****** ****** *)

(* end of [interp2.sats] *)