Uses of Interface
orbital.logic.sign.type.TypeSystem

Packages that use TypeSystem

orbital.logic.sign.type	Defines interfaces for general type systems.
orbital.moon.logic.functor	Experimental additional classes related to orbital.logic.functors.

Uses of TypeSystem in orbital.logic.sign.type

Methods in orbital.logic.sign.type that return TypeSystem

static TypeSystem	Types.getDefault() Get the (single) default type system instance.
TypeSystem	Type.typeSystem() Get the type system that this type stems from.

Methods in orbital.logic.sign.type with parameters of type TypeSystem

static void

Types.setDefault(TypeSystem newTypeSystem) Set the (single) default type system instance.

Uses of TypeSystem in orbital.moon.logic.functor

Fields in orbital.moon.logic.functor declared as TypeSystem

static TypeSystem

Operations.typeSystem