← Mathematical handbook

def Lean.Server.RpcEncodable.isOptField (n : Name) : Bool

Equations

• Lean.Server.RpcEncodable.isOptField n = n.toString.endsWith "?"