Module ergotree_ir::types

Sigma types

Modules

sbox	Box object type companion
scoll	Collection object type companion
scontext
sfunc	Function signature type
sglobal	Global methods
sheader	Header’s methods
smethod	Object method(property) signature type
spreheader	PreHeader’s methods
stuple	Tuple type
stype	SType hierarchy
stype_companion	Type companion for an object
stype_param	Type parameters for generic signatures
type_unify	Types unification