Trait starlark::typing::AstModuleTypecheck

source · 
pub trait AstModuleTypecheck {
    // Required method
    fn typecheck(
        self,
        globals: &Globals,
        loads: &HashMap<String, Interface>
    ) -> (Vec<Error>, TypeMap, Interface, Vec<Approximation>);
}
Expand description

Typecheck a module.

Required Methods§

source

fn typecheck( self, globals: &Globals, loads: &HashMap<String, Interface> ) -> (Vec<Error>, TypeMap, Interface, Vec<Approximation>)

Typecheck a module.

Implementors§