Type Alias PredicateModule 

pub type PredicateModule = &'static [(&'static str, usize, PredicateFunction)];

A predicate module: a static slice of (name, arity, function) entries.

Example

use prolog2::predicate_modules::{PredicateModule, PredReturn};

static MY_MODULE: PredicateModule = &[
    ("always_true", 0, |_heap, _hyp, _goal, _pt, _cfg| PredReturn::True),
];