let attrs = [] in
XL.tag XL.proj attrs ~contents:(lenv_iter exp_bind exp_appl exp_proj st e lenv) out tab
(* interface functions ******************************************************)
let export_term st = exp_term st D.empty_lenv
let attrs = [] in
XL.tag XL.proj attrs ~contents:(lenv_iter exp_bind exp_appl exp_proj st e lenv) out tab
(* interface functions ******************************************************)
let export_term st = exp_term st D.empty_lenv