Function modus_lib::builtin::select_builtin

source · [−]
pub fn select_builtin<'a>(
    lit: &Literal
) -> (SelectBuiltinResult, Option<&'a dyn BuiltinPredicate>)