[−][src]Trait varisat_checker::internal::SelfChecker
Varisat internal interface used for on-the-fly checking.
This should only be used within other Varisat crates. It is not considered part of the public API and may change at any time.