Documentation

Lean.Meta.Structure

source
def Lean.Meta.getStructureName (struct : Lean.Expr) :
Lean.MetaM Lake.Name
Instances For