Function sophia_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, 

This line re-exports same_graph_name from sophia_api::term, to ease transition from older versions of Sophia. It will eventually be deprecated.

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