Documentation
Lean
.
Elab
.
Tactic
.
Do
.
Syntax
Search
return to top
source
Imports
Init.NotationExtra
Lean.Elab.BuiltinNotation
Std.Do.PostCond
Std.Do.Triple.Basic
Imported by