Documentation

Lean.Meta.SizeOf

def Lean.Meta.mkSizeOfFn (recName : Lean.Name) (declName : Lean.Name) :
Equations
Equations
Equations
Equations
Equations
Equations
Equations