1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14

//! Library of goals

#[macro_use]
pub mod combinators;
#[macro_use]
pub mod list;
#[macro_use]
pub mod primitive;

pub mod numbers;

use crate::core::substitution::Substitution;

pub type StatSubs = Substitution<'static>;