charon_lib::ast

Module types_utils

source
Expand description

This file groups everything which is linked to implementations about crate::types

Structs§

  • SubstVisitor 🔒
    Visitor for the [Ty::substitute] function. This substitutes variables bound at the level where we start to substitute (level 0).

Traits§

  • TyVisitable
    Types that are involved at the type-level and may be substituted around.