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
Get the declarations for this model