catlog::tt::toplevel

Function std_theories

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

Construct a library of standard theories