```
public interface Reflect
```
Reflection functions for working with term, type, and literal type variants, as well as numeric precision.

Static Methods
Modifier and Type	Method	Description
`static EliminationVariant`	`eliminationVariant(Elimination v1)`
`static ConsList<EliminationVariant>`	`eliminationVariants()`
`static Precision`	`floatTypePrecision(FloatType v1)`
`static ConsList<FloatType>`	`floatTypes()`
`static FloatType`	`floatValueType(FloatValue v1)`
`static FunctionVariant`	`functionVariant(Function v1)`
`static ConsList<FunctionVariant>`	`functionVariants()`
`static java.lang.Boolean`	`integerTypeIsSigned(IntegerType v1)`
`static Precision`	`integerTypePrecision(IntegerType v1)`
`static ConsList<IntegerType>`	`integerTypes()`
`static IntegerType`	`integerValueType(IntegerValue v1)`
`static LiteralType`	`literalType(Literal v1)`
`static ConsList<LiteralType>`	`literalTypes()`
`static LiteralVariant`	`literalTypeVariant(LiteralType v1)`
`static LiteralVariant`	`literalVariant(Literal arg_)`
`static ConsList<LiteralVariant>`	`literalVariants()`
`static TermVariant`	`termVariant(Term v1)`
`static ConsList<TermVariant>`	`termVariants()`
`static TypeVariant`	`typeVariant(Type v1)`
`static ConsList<TypeVariant>`	`typeVariants()`

static EliminationVariant eliminationVariant(Elimination v1)

static ConsList<EliminationVariant> eliminationVariants()

static Precision floatTypePrecision(FloatType v1)

static ConsList<FloatType> floatTypes()

static FloatType floatValueType(FloatValue v1)

static FunctionVariant functionVariant(Function v1)

static ConsList<FunctionVariant> functionVariants()

static java.lang.Boolean integerTypeIsSigned(IntegerType v1)

static Precision integerTypePrecision(IntegerType v1)

static ConsList<IntegerType> integerTypes()

static IntegerType integerValueType(IntegerValue v1)

static LiteralType literalType(Literal v1)

static LiteralVariant literalTypeVariant(LiteralType v1)

static ConsList<LiteralType> literalTypes()

static LiteralVariant literalVariant(Literal arg_)

static ConsList<LiteralVariant> literalVariants()

static TermVariant termVariant(Term v1)

static ConsList<TermVariant> termVariants()

static TypeVariant typeVariant(Type v1)

static ConsList<TypeVariant> typeVariants()

Interface Reflect