AtpClient.Lint.Symbol (AtpClient v0.1.3)

Copy Markdown View Source

A symbol extracted from a TPTP source, currently always a declared type coming from a type-role statement.

Powers the Monaco hover provider (hovering over plus in a formula shows plus : nat > (nat > nat)) and completion provider (declared symbols are offered alongside keywords) in the Smart Cell.

type is the right-hand side of the declaration, reconstructed from the token stream — so whitespace is normalized but the logical content matches the source.

Summary

Types

kind()
t()

Types

kind()

@type kind() :: :type_decl

t()

@type t() :: %AtpClient.Lint.Symbol{
  column: pos_integer(),
  kind: kind(),
  line: pos_integer(),
  name: String.t(),
  type: String.t() | nil
}