Relation fact - Kast

meaning

enum<string>

required

One canonical Kast semantic relation.

Available options:

references,

callers,

callees,

implementations,

inheritors,

overrides,

type-uses

source

classlike · object

required

classlike
constructor symbol
function
property
type-alias

Show child attributes

target

classlike · object

required

classlike
constructor symbol
function
property
type-alias

Show child attributes

occurrence

object

required

Show child attributes

provenance

enum<string>

required

Compiler and source-root provenance.

Available options:

k2-authored-source,

k2-generated-source,

k2-project-library

coverage

string

required

Per-edge compiler coverage proof.

Allowed value: "exact-compiler-confirmed"

Last modified on September 26, 2026