frege.runtime

Annotation Type Meta.Sigma

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

the equivalent to a Sigma

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
int	rho

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
java.lang.String[]	bound
int[]	kinds

Element Detail

rho

public abstract int rho

bound

public abstract java.lang.String[] bound

Default:

{}

kinds

public abstract int[] kinds

Default:

{}