/-
Copyright (c) 2025 Lean FRO, LLC. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: Markus Himmel
-/
import Grove.Framework

open Grove.Framework Widget

namespace GroveStdlib.Std.OperatingSystemAbstractions

namespace ConcurrencyAndParallelism

end ConcurrencyAndParallelism

def concurrencyAndParallelism : Node :=
  .section "concurrency-and-parallelism" "Concurrency and parallelism" #[]

end GroveStdlib.Std.OperatingSystemAbstractions