conjure_oxide::ast::pretty

Function pretty_domain_letting_declaration

Source 
pub fn pretty_domain_letting_declaration(
    symbol_table: &SymbolTable,
    name: &Name,
) -> Option<String>
Expand description

Pretty prints, in essence syntax, the declaration for the given domain letting.

E.g.

letting A be domain bool

Returns None if the symbol is not in the symbol table, or if it is not a domain letting.