Module ergotree_ir::types

Sigma types

Modules

• savltree
  AVL tree methods
• sbox
  Box object type companion
• scoll
  Collection object type companion
• scontext
• sfunc
  Function signature type
• sglobal
  Global methods
• sgroup_elem
  GroupElement methods
• sheader
  Header’s methods
• smethod
  Object method(property) signature type
• soption
  Option object type companion
• 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