use crate::records::type_function_instance_type::TypeFunctionInstanceType;
use crate::records::type_function_reduction_guesser::TypeFunctionReductionGuesser;

impl TypeFunctionReductionGuesser {
    pub fn is_or_and_function(&self, instance: &TypeFunctionInstanceType) -> bool {
        let func = unsafe { instance.function.as_ref() };
        func.name == "or" || func.name == "and"
    }
}
