Module ergotree_ir::types[][src]

Sigma types

Modules

sbox

Box object type companion

scoll

Collection object type companion

scontext
sfunc

Function signature type

smethod

Object method(property) signature type

stuple

Tuple type

stype

SType hierarchy

stype_companion

Type companion for an object

stype_param

Type parameters for generic signatures

type_unify

Types unification