<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def decls(self) -> List[z3.ExprRef]: """Get the declarations for this model"""

        result = []  # type: List[z3.ExprRef]
        for internal_model in self.raw:
            result.extend(internal_model.decls())
        return result