/* Autogenerated file. Do not edit manually. */
/* tslint:disable */
/* eslint-disable */
export type { DSTest0817 } from "./DSTest0817";
export type { DSTest0820 } from "./DSTest0820";
export type { Test0817 } from "./Test0817";
export type { Test0820 } from "./Test0820";
export type { StdError0817 } from "./StdError0817";
export type { StdError0820 } from "./StdError0820";
export type { StdStorage0817 } from "./StdStorage0817";
export type { StdStorage0820 } from "./StdStorage0820";