Skip to main content

Modules

tla_eval

Trait Modules 

Source 
pub trait Modules {
    // Required method
    fn source(&self, name: &str) -> Option<String>;
}
Expand description

Where the source of a module named in EXTENDS or INSTANCE comes from.

The standard modules are not looked up here: their operators are built in, so EXTENDS Naturals needs nothing loaded.

Required Methods§

Source

fn source(&self, name: &str) -> Option<String>

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§