Uses of Class
orc.type.Type

Packages that use Type

orc.ast.oil	Internal representation of OIL, the Orc Intermediate Language.
orc.ast.oil.arg
orc.ast.simple.type
orc.ast.sites	Compile-time representation of Orc sites.
orc.error.compiletime.typing
orc.lib.bool
orc.lib.comp
orc.lib.math
orc.lib.state
orc.lib.state.types
orc.lib.str
orc.lib.time
orc.lib.util
orc.runtime.sites	Abstract base classes for Orc sites plus fundamental sites.
orc.runtime.sites.core	Fundamental sites.
orc.type
orc.type.ground

Uses of Type in orc.ast.oil

Fields in orc.ast.oil declared as Type

Type	Def.resultType
Type	HasType.type
Type	TypeDecl.type

Fields in orc.ast.oil with type parameters of type Type

java.util.List<Type>	Def.argTypes
java.util.List<Type>	Call.typeArgs

Methods in orc.ast.oil that return Type

Type	Call.noInferenceTypeSynth(Env<Type> ctx, Env<Type> typectx)
Type	WithLocation.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Atomic.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	HasType.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Bar.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Semi.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Push.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	TypeDecl.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Silent.typesynth(Env<Type> ctx, Env<Type> typectx)
abstract Type	Expr.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Call.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Defs.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Pull.typesynth(Env<Type> ctx, Env<Type> typectx)

Methods in orc.ast.oil with parameters of type Type

void	WithLocation.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Atomic.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Bar.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Semi.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Push.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	TypeDecl.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Silent.typecheck(Type t, Env<Type> ctx, Env<Type> typectx)
void	Expr.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Call.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Defs.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Pull.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)

Method parameters in orc.ast.oil with type arguments of type Type

void	Def.checkDef(Env<Type> ctx, Env<Type> typectx)
void	Def.checkDef(Env<Type> ctx, Env<Type> typectx)
void	Def.checkLambda(ArrowType t, Env<Type> ctx, Env<Type> typectx)
void	Def.checkLambda(ArrowType t, Env<Type> ctx, Env<Type> typectx)
Type	Call.noInferenceTypeSynth(Env<Type> ctx, Env<Type> typectx)
Type	Call.noInferenceTypeSynth(Env<Type> ctx, Env<Type> typectx)
ArrowType	Def.type(Env<Type> typectx)
void	WithLocation.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	WithLocation.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Atomic.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Atomic.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Bar.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Bar.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Semi.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Semi.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Push.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Push.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	TypeDecl.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	TypeDecl.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Silent.typecheck(Type t, Env<Type> ctx, Env<Type> typectx)
void	Silent.typecheck(Type t, Env<Type> ctx, Env<Type> typectx)
void	Expr.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Expr.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Call.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Call.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Defs.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Defs.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Pull.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
void	Pull.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)
Type	WithLocation.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	WithLocation.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Atomic.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Atomic.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	HasType.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	HasType.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Bar.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Bar.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Semi.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Semi.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Push.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Push.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	TypeDecl.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	TypeDecl.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Silent.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Silent.typesynth(Env<Type> ctx, Env<Type> typectx)
abstract Type	Expr.typesynth(Env<Type> ctx, Env<Type> typectx)
abstract Type	Expr.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Call.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Call.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Defs.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Defs.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Pull.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Pull.typesynth(Env<Type> ctx, Env<Type> typectx)

Constructors in orc.ast.oil with parameters of type Type

Def(int arity, Expr body, int typeArity, java.util.List<Type> argTypes, Type resultType, SourceLocation location)

HasType(Expr body, Type type, boolean checkable)

TypeDecl(Type type, Expr body)

Constructor parameters in orc.ast.oil with type arguments of type Type

Call(Arg callee, java.util.List<Arg> args, java.util.List<Type> typeArgs)

Def(int arity, Expr body, int typeArity, java.util.List<Type> argTypes, Type resultType, SourceLocation location)

Uses of Type in orc.ast.oil.arg

Methods in orc.ast.oil.arg that return Type

Type	Constant.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Site.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Var.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Field.typesynth(Env<Type> ctx, Env<Type> typectx)

Method parameters in orc.ast.oil.arg with type arguments of type Type

Type	Constant.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Constant.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Site.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Site.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Var.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Var.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Field.typesynth(Env<Type> ctx, Env<Type> typectx)
Type	Field.typesynth(Env<Type> ctx, Env<Type> typectx)

Uses of Type in orc.ast.simple.type

Methods in orc.ast.simple.type that return Type

Type	ClassType.convert(Env<java.lang.String> env)
Type	Blank.convert(Env<java.lang.String> env)
abstract Type	Type.convert(Env<java.lang.String> env) Convert this syntactic type into an actual type, given an appropriate type context
Type	SiteType.convert(Env<java.lang.String> env)
Type	NamedType.convert(Env<java.lang.String> env)
Type	TypeInstance.convert(Env<java.lang.String> env)
Type	TupleType.convert(Env<java.lang.String> env)
Type	ArrowType.convert(Env<java.lang.String> env)
Type	Datatype.convert(Env<java.lang.String> env)

Uses of Type in orc.ast.sites

Methods in orc.ast.sites that return Type

Type	Site.type()

Uses of Type in orc.error.compiletime.typing

Constructors in orc.error.compiletime.typing with parameters of type Type

SubtypeFailureException(Type S, Type T)

UncallableTypeException(Type t)

Uses of Type in orc.lib.bool

Methods in orc.lib.bool that return Type

Type	BoolBinopSite.type()

Uses of Type in orc.lib.comp

Methods in orc.lib.comp that return Type

Type	ComparisonSite.type()

Uses of Type in orc.lib.math

Methods in orc.lib.math that return Type

Type	Add.type()
Type	UMinus.type()
Type	Ceil.type()
Type	Mult.type()
Type	Mod.type()
Type	Floor.type()
Type	Div.type()
Type	Sub.type()
Type	Exponent.type()

Uses of Type in orc.lib.state

Methods in orc.lib.state that return Type

Type	Semaphore.type()
Type	Ref.type()
Type	Counter.type()
Type	Cell.type()
Type	SyncChannel.type()
Type	Buffer.type()
Type	BoundedBuffer.type()

Uses of Type in orc.lib.state.types

Subclasses of Type in orc.lib.state.types

class	ArrayType
class	BoundedBufferType
class	BufferType
class	CellType
class	CounterType
class	RefType
class	SemaphoreType
class	SyncChannelType

Methods in orc.lib.state.types that return Type

Type	CellType.makeCallableInstance(java.util.List<Type> params)
Type	ArrayType.makeCallableInstance(java.util.List<Type> params)
Type	SyncChannelType.makeCallableInstance(java.util.List<Type> params)
Type	BufferType.makeCallableInstance(java.util.List<Type> params)
Type	RefType.makeCallableInstance(java.util.List<Type> params)
Type	BoundedBufferType.makeCallableInstance(java.util.List<Type> params)

Method parameters in orc.lib.state.types with type arguments of type Type

Type	CellType.makeCallableInstance(java.util.List<Type> params)
Type	ArrayType.makeCallableInstance(java.util.List<Type> params)
Type	SyncChannelType.makeCallableInstance(java.util.List<Type> params)
Type	BufferType.makeCallableInstance(java.util.List<Type> params)
Type	RefType.makeCallableInstance(java.util.List<Type> params)
Type	BoundedBufferType.makeCallableInstance(java.util.List<Type> params)

Uses of Type in orc.lib.str

Methods in orc.lib.str that return Type

Type	Cat.type()
Type	Read.type()
Type	Print.type()
Type	Println.type()

Uses of Type in orc.lib.time

Methods in orc.lib.time that return Type

Type	Clock.type()
Type	PushLtimer.type()
Type	Rtimer.type()
Type	Ltimer.type()
Type	PopLtimer.type()

Uses of Type in orc.lib.util

Methods in orc.lib.util that return Type

Type	Random.type()
Type	UUID.type()
Type	URandom.type()
Type	Apply.type()
Type	JavaArray.type()
Type	Prompt.type()

Uses of Type in orc.runtime.sites

Methods in orc.runtime.sites that return Type

Type	Site.type()

Uses of Type in orc.runtime.sites.core

Methods in orc.runtime.sites.core that return Type

Type	TryNil.type()
Type	Error.type()
Type	Some.type()
Type	IsSome.type()
Type	If.type()
Type	Nil.type()
Type	Cons.type()
Type	Inequal.type()
Type	Not.type()
Type	Equal.type()
Type	TryCons.type()
Type	Let.type()
Type	None.type()
Type	IsNone.type()
Type	Datatype.type()

Uses of Type in orc.type

Subclasses of Type in orc.type

class	ArrowType
class	Datatype Type constructor encompassing all type-level information associated with a datatype.
class	DotType Composite type for sites which can receive messages (using the .
class	EllipsisArrowType
class	ImmutableContainerType
class	ListType
class	MultiType A composite type supporting ad-hoc polymorphic calls.
class	MutableContainerType
class	OptionType
class	TupleType
class	Tycon Root class for all type constructors.
class	TypeApplication A type application, e.g.
class	TypeVariable A bound type variable.

Fields in orc.type declared as Type

static Type	Type.BLANK
static Type	Type.BOOLEAN
static Type	Type.BOT
static Type	Type.INTEGER
static Type	Type.LET
Type	Constraint.lower
static Type	DotType.NODEFAULT
static Type	Type.NUMBER
Type	EllipsisArrowType.repeatedArgType
Type	EllipsisArrowType.resultType
Type	ArrowType.resultType
static Type	Type.STRING
static Type	Type.TOP
Type	TypeApplication.type
Type	Constraint.upper

Fields in orc.type with type parameters of type Type

java.util.List<Type>	ArrowType.argTypes
java.util.List<Type>	TupleType.items
java.util.List<Type>	TypeApplication.params

Methods in orc.type that return Type

Type	Type.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	MultiType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	TypeApplication.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	DotType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	ArrowType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	EllipsisArrowType.call(java.util.List<Type> args)
Type	Type.call(java.util.List<Type> args)
Type	TypeApplication.call(java.util.List<Type> args)
Type	DotType.call(java.util.List<Type> args)
Type	TupleType.call(java.util.List<Type> args)
Type	Type.demote(Env<java.lang.Boolean> V)
Type	TypeApplication.demote(Env<java.lang.Boolean> V)
Type	TypeVariable.demote(Env<java.lang.Boolean> V)
Type	TupleType.demote(Env<java.lang.Boolean> V)
Type	ArrowType.demote(Env<java.lang.Boolean> V)
Type	Tycon.instance(java.util.List<Type> params)
Type	Tycon.instance(Type param)
Type	EllipsisArrowType.join(Type that)
Type	Type.join(Type that)
Type	TypeApplication.join(Type that)
Type	TupleType.join(Type that)
Type	ArrowType.join(Type that)
abstract Type	Variance.join(Type S, Type T)
static Type	ListType.listOf(Type T)
Type	Type.makeCallableInstance(java.util.List<Type> params)
Type	EllipsisArrowType.meet(Type that)
Type	Type.meet(Type that)
Type	TypeApplication.meet(Type that)
Type	TupleType.meet(Type that)
Type	ArrowType.meet(Type that)
abstract Type	Variance.meet(Type S, Type T)
Type	Constraint.minimal(Variance v)
abstract Type	Variance.minimum(Type S, Type T)
Type	Type.promote(Env<java.lang.Boolean> V)
Type	TypeApplication.promote(Env<java.lang.Boolean> V)
Type	TypeVariable.promote(Env<java.lang.Boolean> V)
Type	TupleType.promote(Env<java.lang.Boolean> V)
Type	ArrowType.promote(Env<java.lang.Boolean> V)
Type	Type.subst(Env<Type> ctx)
Type	TypeApplication.subst(Env<Type> ctx)
Type	TypeVariable.subst(Env<Type> ctx)
Type	TupleType.subst(Env<Type> ctx)
Type	ArrowType.subst(Env<Type> ctx)
Type	Datatype.subst(Env<Type> ctx)
Type	Type.unwrapAs(Type T)
Type	TypeApplication.unwrapAs(Type T)

Methods in orc.type that return types with arguments of type Type

java.util.List<java.util.List<Type>>	Datatype.getConstructors()
static java.util.List<Type>	Type.substAll(java.util.List<Type> ts, Env<Type> ctx)

Methods in orc.type with parameters of type Type

void	Type.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	TypeApplication.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	TypeVariable.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	TupleType.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	ArrowType.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	DotType.addField(java.lang.String key, Type T)
void	Type.assertSubtype(Type that)
void	Constraint.atLeast(Type T)
void	Constraint.atMost(Type T)
boolean	Type.equal(Type that)
protected ArrowType	ArrowType.forceArrow(Type that)
Type	Tycon.instance(Type param)
Type	EllipsisArrowType.join(Type that)
Type	Type.join(Type that)
Type	TypeApplication.join(Type that)
Type	TupleType.join(Type that)
Type	ArrowType.join(Type that)
abstract Type	Variance.join(Type S, Type T)
static Type	ListType.listOf(Type T)
Type	EllipsisArrowType.meet(Type that)
Type	Type.meet(Type that)
Type	TypeApplication.meet(Type that)
Type	TupleType.meet(Type that)
Type	ArrowType.meet(Type that)
abstract Type	Variance.meet(Type S, Type T)
abstract Type	Variance.minimum(Type S, Type T)
boolean	EllipsisArrowType.subtype(Type that)
boolean	Type.subtype(Type that)
boolean	MultiType.subtype(Type that)
boolean	TypeApplication.subtype(Type that)
boolean	TypeVariable.subtype(Type that)
boolean	TupleType.subtype(Type that)
boolean	ArrowType.subtype(Type that)
abstract boolean	Variance.subtype(Type S, Type T)
boolean	Type.supertype(Type that)
Type	Type.unwrapAs(Type T)
Type	TypeApplication.unwrapAs(Type T)

Method parameters in orc.type with type arguments of type Type

Type	Type.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	Type.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	Type.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	MultiType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	MultiType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	MultiType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	TypeApplication.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	TypeApplication.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	TypeApplication.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	DotType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	DotType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	DotType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	ArrowType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	ArrowType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	ArrowType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	EllipsisArrowType.call(java.util.List<Type> args)
Type	Type.call(java.util.List<Type> args)
Type	TypeApplication.call(java.util.List<Type> args)
Type	DotType.call(java.util.List<Type> args)
Type	TupleType.call(java.util.List<Type> args)
Type	Tycon.instance(java.util.List<Type> params)
Type	Type.makeCallableInstance(java.util.List<Type> params)
Type	Type.subst(Env<Type> ctx)
Type	TypeApplication.subst(Env<Type> ctx)
Type	TypeVariable.subst(Env<Type> ctx)
Type	TupleType.subst(Env<Type> ctx)
Type	ArrowType.subst(Env<Type> ctx)
Type	Datatype.subst(Env<Type> ctx)
static java.util.List<Type>	Type.substAll(java.util.List<Type> ts, Env<Type> ctx)
static java.util.List<Type>	Type.substAll(java.util.List<Type> ts, Env<Type> ctx)

Constructors in orc.type with parameters of type Type

ArrowType(java.util.List<Type> argTypes, Type resultType)

ArrowType(java.util.List<Type> argTypes, Type resultType, int typeArity)

ArrowType(Type resultType)

ArrowType(Type resultType, int typeArity)

ArrowType(Type argType, Type resultType)

ArrowType(Type argType, Type resultType, int typeArity)

ArrowType(Type firstArgType, Type secondArgType, Type resultType)

ArrowType(Type firstArgType, Type secondArgType, Type resultType, int typeArity)

DotType(Type defaultType)

EllipsisArrowType(Type repeatedArgType, Type resultType)

MultiType(Type A, Type B)

TupleType(Type a, Type b)

TypeApplication(Type type, java.util.List<Type> params)

Constructor parameters in orc.type with type arguments of type Type

ArrowType(java.util.List<Type> argTypes, Type resultType)

ArrowType(java.util.List<Type> argTypes, Type resultType, int typeArity)

Datatype(java.lang.String name, java.util.List<Variance> vs, java.util.List<java.util.List<Type>> cs)

MultiType(java.util.List<Type> alts)

TupleType(java.util.List<Type> items)

TypeApplication(Type type, java.util.List<Type> params)

Uses of Type in orc.type.ground

Subclasses of Type in orc.type.ground

class	BooleanType
class	Bot The bottom type.
class	ConstIntType
class	IntegerType
class	LetType The special type of the let site.
class	Message
class	NumberType
class	StringType
class	Top The Top type.

Methods in orc.type.ground that return Type

Type	LetType.call(java.util.List<Type> args)
Type	Bot.call(java.util.List<Type> args)
Type	StringType.call(java.util.List<Type> args)
static Type	LetType.condense(java.util.List<Type> types) Classic 'let' functionality, at the type level.
Type	Bot.join(Type that)
Type	ConstIntType.join(Type that)
Type	Bot.meet(Type that)

Methods in orc.type.ground with parameters of type Type

boolean	Bot.equal(Type that)
boolean	Message.equal(Type that)
Type	Bot.join(Type that)
Type	ConstIntType.join(Type that)
Type	Bot.meet(Type that)
boolean	Bot.subtype(Type that)
boolean	ConstIntType.subtype(Type that)
boolean	Top.subtype(Type that)
boolean	Message.subtype(Type that)

Method parameters in orc.type.ground with type arguments of type Type

Type	LetType.call(java.util.List<Type> args)
Type	Bot.call(java.util.List<Type> args)
Type	StringType.call(java.util.List<Type> args)
static Type	LetType.condense(java.util.List<Type> types) Classic 'let' functionality, at the type level.