code: def decls(self) -> List[z3.ExprRef]:
          
          result = []  # type: List[z3.ExprRef]
          for internal_model in self.raw:
              result.extend(internal_model.decls())
          return result
docs: Get the declarations for this model