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

Equations

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

instance Lean.Server.RpcEncodable.instCoeTSyntaxConsSyntaxNodeKindStrNumAnonymousOfNatNatNilMkStr4 : Coe (TSyntax `_private.Lean.Server.Rpc.Deriving.0.Lean.Server.RpcEncodable.matchAltTerm) (TSyntax `Lean.Parser.Term.matchAlt)

Equations

• One or more equations did not get rendered due to their size.