///|
using @model {type ValType, type TypeDef, type PrimValType, type FuncType}