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) ];
+ aux_var var; space; builtin_symbol "\\def"; break; top_pos (k s) ];
break; keyword "in" ];
break;
k t ])