pub fn get_sub_types(ty: &ScriptType) -> Result<Vec<ScriptType>>