use crate::print::terms::*;
use crate::util::syn_tools::*;
pub(crate) fn head_macro() -> syn::Path {
ns::path([&ids::head()])
}
pub(crate) fn body_macro() -> syn::Path {
ns::path([&ids::body()])
}
pub(crate) fn top_macro() -> syn::Path {
ns::path([&ids::top()])
}
pub(crate) fn subs_macro() -> syn::Path {
ns::path([&ids::subs()])
}
pub(crate) fn sub_all_macro(ident: &syn::Ident) -> syn::Path {
ns::path([&ids::sub(), ident, &ids::all()])
}
pub(crate) fn defs_macro() -> syn::Path {
ns::path([&ids::defs()])
}
pub(crate) fn base(root: &syn::Ident) -> syn::Path {
ns::path([root, &ids::base()])
}
pub(crate) fn side_item(root: &syn::Ident, id: &syn::Ident) -> syn::Path {
ns::path([root, &ids::side(), id])
}