Documentation

Lean.Server.Rpc.Deriving

source
def Lean.Server.RpcEncodable.isOptField (n : Name) :
Bool
Equations
    Instances For
      source
      instance Lean.Server.RpcEncodable.instCoeTSyntaxConsSyntaxNodeKindStrNumAnonymousOfNatNatNilMkStr4 :
      Coe (TSyntax `_private.Lean.Server.Rpc.Deriving.0.Lean.Server.RpcEncodable.matchAltTerm) (TSyntax `Lean.Parser.Term.matchAlt)
      Equations