std_theories

catlog::tt::theory

Function std_theories 

Source 
pub fn std_theories() -> HashMap<QualifiedName, Theory>
Expand description

Construct a library of standard theories.