Function sophia_api::term::same_graph_name

pub fn same_graph_name<T, U>(g1: Option<&T>, g2: Option<&U>) -> bool where
    T: TTerm + ?Sized,
    U: TTerm + ?Sized, 

Check the equality of two graph names (Option<&Term>) possibly of different types.