text: DataverseUse tpch
  TypeDecl OrderTypetmp [
    closed RecordType {
      o_orderkey : bigint,
      o_custkey : bigint,
      o_orderstatus : string,
      o_totalprice : double,
      o_orderdate : string,
      o_orderpriority : string,
      o_clerk : string,
      o_shippriority : bigint,
      o_comment : string
    }
  ]
  TypeDecl OrderType [
    closed RecordType {
      nested : OrderTypetmp
    }
  ]
  DatasetDecl Orderstmp(OrderTypetmp) partitioned by [[o_orderkey]]
  DatasetDecl Orders(OrderType) partitioned by [[nested, o_orderkey]]
  