charon_lib::ast

Module types_utils

source
Expand description

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

Structsยง