sdml_core::model

Module check

Source
Expand description

Provides the traits and functions for model checking.

Modules§

terms

Traits§

MaybeIncomplete
Validate

Functions§

find_definition
validate_is_incomplete
validate_is_incomplete_named
validate_multiple_method_duplicates