aufbau 0.1.2

Generalized prefix parsing for a class of context-dependent languages
Documentation 
1
2
3
4
5
6
7

//! Parsing for the type language used inside grammar and rule specifications.

pub use crate::logic::typing::Type;

mod imp {
    include!("../typing/syntax.rs");
}