{α : Type} →
  (α → Lean.Elab.TermElabM Unit) →
    Option IO.CancelToken →
      autoParam String Lean.Elab.Term.wrapAsyncAsSnapshot._auto_1 →
        Lean.Elab.TermElabM (α → BaseIO Lean.Language.SnapshotTree)