interface "/::example" {
  /// "type summary"
  type Z = {
    /// "field summary"
    z?: unit,
    a: [union {
      /// "case summary"
      z,
      /// ""
      a(unit),
      nested(enum {
        /// "enum summary"
        z,
        a,
      }),
    }],
  };
  operation z(
    z: unit,
    a?: unit,
  ) -> unit;
  operation a()
  /// "no params result"
  -> unit;
}