type v_env = Env.enventry Map
type t_env = Types.ty Map

trans_dec: v_env * t_env * Absyn.dec list -> {v_env: v_env; t_env: t_env}
trans_var: v_env * t_env * Absyn.var -> {type: Types.ty; exp: LLVM.llvalue}
trans_exp: v_env * t_env * Absyn.exp -> {type: Types.ty; exp: LLVM.llvalue}