Trait Product
ruly::def
pub trait Product<P: Parse>: Sized { fn read(p: &mut P) -> Result<Self, (String, usize)>; }
fn read(p: &mut P) -> Result<Self, (String, usize)>
impl<P: Parse> Product<P> for Judgement
fn read(parser: &mut P) -> Result<Self, (String, usize)>
impl<P: Parse> Product<P> for Nat