∀ (embeds dsl sty sub maxOptSteps : Lean.Json),
  sizeOf { embeds := embeds, dsl := dsl, sty := sty, sub := sub, maxOptSteps := maxOptSteps } =
    1 + sizeOf embeds + sizeOf dsl + sizeOf sty + sizeOf sub + sizeOf maxOptSteps