Crate specl_types 

Type system and type checker for Specl.

Re-exports

pub use checker::check_module;

pub use checker::TypeChecker;

pub use env::ActionSig;

pub use env::TypeEnv;

pub use error::TypeError;

pub use error::TypeResult;

pub use types::RecordType;

pub use types::Substitution;

pub use types::Type;

pub use types::TypeVar;

pub use types::TypeVarGen;

Modules

checker

Type checker implementation.

env

Type environment and scope management.

error

Type checking error types.

types

Type representation for the Specl type system.