| Ast0.Include(inc,name) ->
call_right right_mcode name s
(function name -> Ast0.Include(inc,name))
+ | Ast0.Undef(def,id) ->
+ (* nothing available for ident, and not sure code can appear
+ here anyway *)
+ None
| Ast0.Define(def,id,params,body) ->
call_right right_statement_dots body s
(function body -> Ast0.Define(def,id,params,body))