可以自动对齐成这样
type_a _a;
type_type_b _b;
type_type_type_c _c;
这应该不算个伪需求,看到很多c库代码这样写了,
加上重度使用pattern match的某些语言如果能根据 =>
来对齐会很好看
Fixpoint evenb (n:nat) : bool :=
match n with
| O => true
| S O => false
| S (S n') => evenb n'
end.
难道大家都是手动space/tab对齐的吗