pub trait Construct: Sized { fn construct(vs: &[u64]) -> Self; fn n() -> usize { ... } }
Used to construct logical systems.
Creates a logical system out of proof arguments.
Gets the number of bits in logical system.