pub fn find_symbol<'a>(
    prog: &'a Term<Program>,
    name: &str
) -> Option<(&'a Tid, &'a str)>
Expand description

Find the extern symbol object for a symbol name and return the symbol tid and name.