{α : Type} →
  (stx? : Option Lean.Syntax) →
    Option IO.CancelToken →
      optParam Lean.Language.SnapshotTask.ReportingRange (Lean.Language.SnapshotTask.defaultReportingRange stx?) →
        BaseIO α → BaseIO (Lean.Language.SnapshotTask α)