@__haoyang__/erwin
    Preparing search index...

    Module type

    Enumerations

    TypeKind

    Classes

    ArrayType
    ContractType
    ElementaryType
    FunctionType
    MappingType
    PlaceholderType
    StringType
    StructType
    Type
    TypeProvider
    UnionType
    UserDefinedType

    Variables

    address_types
    all_integer_types
    bool_types
    elementary_types
    integer_types
    size_of_type
    uinteger_types

    Functions

    all_array
    all_mapping
    contain_mapping_type
    contains_trivial_array
    contains_trivial_mapping
    initType