pub type PatProg = Patprog;
use Patprog instead
PatProg type alias.
PatProg
pub struct PatProg(/* private fields */);