add_level_info Ast.let_in_prec Ast.let_in_assoc
(hvbox false true [
hvbox false true [
- keyword "let";
+ keyword "let"; space;
hvbox false true [
- aux_var var; builtin_symbol "\\def"; break; top_pos (k s) ];
- break; keyword "in" ];
+ aux_var var; space; builtin_symbol "\\def"; break; top_pos (k s) ];
+ break; space; keyword "in" ];
break;
k t ])
| Ast.LetRec (rec_kind, funs, where) ->