CategoryOf

conjure_oxide::ast::categories

Trait CategoryOf 

Source 
pub trait CategoryOf {
    // Required method
    fn category_of(&self) -> Category;
}
Expand description

A type with a Category

Required Methods§

Source

fn category_of(&self) -> Category

Gets the Category of a term.

Implementors§