package Ġcom . pio tr walk us z . smart law . compiler . validator . model Ċ Ċ import Ġcom . pio tr walk us z . smart law . compiler . element . Basic Type Ċ Ċ data Ġclass ĠValid ated Basic Type ( ĊĠĠĠĠĠĠĠ Ġval Ġbasic Type : ĠBasic Type Ċ ) Ġ: ĠValid ated Type