| Note (_,str) -> sprintf "(* %s *)\n" str
| Code (_,code) ->
sprintf "(** %s. **)\n" (pp_executable ~term_pp ~lazy_term_pp ~obj_pp code)
| Note (_,str) -> sprintf "(* %s *)\n" str
| Code (_,code) ->
sprintf "(** %s. **)\n" (pp_executable ~term_pp ~lazy_term_pp ~obj_pp code)