def

var

Variable name. Variables are place holders in generic conjuncts

meta

def var
doc See above
is symbol
lib ph

supertypes

val

Data value type

    scalar

Scalar is an atomic value kind

        symbol

Symbol to a def

subtypes

a

Variable name

b

Variable name

c

Variable name

d

Variable name

e

Variable name

f

Variable name

g

Variable name

h

Variable name

i

Variable name

j

Variable name

k

Variable name

l

Variable name

m

Variable name

n

Variable name

o

Variable name

p

Variable name

q

Variable name

r

Variable name

s

Variable name

t

Variable name

u

Variable name

v

Variable name

w

Variable name

x

Variable name

y

Variable name

z

Variable name