daily pastebin goal
23%
SHARE
TWEET

Untitled

a guest Feb 18th, 2019 64 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. type v_env = Env.enventry Map
  2. type t_env = Types.ty Map
  3.  
  4. trans_dec: v_env * t_env * Absyn.dec list -> {v_env: v_env; t_env: t_env}
  5. trans_var: v_env * t_env * Absyn.var -> {type: Types.ty; exp: LLVM.llvalue}
  6. trans_exp: v_env * t_env * Absyn.exp -> {type: Types.ty; exp: LLVM.llvalue}
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top