Skip to main content

_15

typefun::nat::consts

Type Alias _15 

Source 
pub type _15 = Succ<_14>;

Aliased Typeยง

pub struct _15(/* private fields */);