Def binder_info.brackets

Modification history

2019-08-30 16:13
src/meta/expr.lean
feat(sanity_check): improve sanity_check (#1369) …
Added binder_info.bracketsView on Github →