Module module_trait

Module module_trait 

Source

Structs§

ModuleFailedRelationError

Traits§

Module
A bounded below module over an algebra.