Function biodivine_lib_bdd::_impl_bdd::_impl_relation_ops::sorted

pub(in _impl_bdd::_impl_relation_ops) fn sorted(
    variables: &[BddVariable]
) -> Vec<BddVariable>

(internal) Helper function for sorting variable list arguments.