frege.runtime

Annotation Type Meta.Tau

@Retention(value=RUNTIME)
public static @interface Meta.Tau

The equivalent for a Tau or Kind.

References to other Tau's and Kind's appear as indexes into the Tau table.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
int	kind
int	suba
int	subb
Meta.QName[]	tcon
java.lang.String	tvar

Element Detail

kind

public abstract int kind

Default:

3

tcon

public abstract Meta.QName[] tcon

Default:

{}

suba

public abstract int suba

Default:

0

subb

public abstract int subb

Default:

0

tvar

public abstract java.lang.String tvar

Default:

""