opt_map ?? (fold_right_neList ?? (λh,t.opt_map ?? (preast_to_ast_base_expr (fst ?? h) e)
(λresExpr.opt_map ?? (preast_to_ast_decl (snd ?? h) (enter_env e))
(λresDecl.opt_map ?? t
opt_map ?? (fold_right_neList ?? (λh,t.opt_map ?? (preast_to_ast_base_expr (fst ?? h) e)
(λresExpr.opt_map ?? (preast_to_ast_decl (snd ?? h) (enter_env e))
(λresDecl.opt_map ?? t