Training Quickstart Flag Parsing

Flag parsing for SimpleMlpTrain, kept separate from the model and training example.

This is example support, not part of the training API. User code starts from Trainer.new and trainer.train; this file only keeps flag handling out of the tutorial bodies.

structure NN.Examples.Quickstart.Flags : Type

Command-line choices accepted by a training quickstart.

• seed : ℕ

  Model initialization seed from --seed.

• steps : ℕ

  Number of optimizer updates from --steps.

• runtime : TorchLean.Trainer.RunConfig

  Runtime settings from --arithmetic, --execution, --device, and --show-backend.

def NN.Examples.Quickstart.parseFlags (exeName : String) (args : List String) (defaultSteps : ℕ) : IO Flags

Parse --seed, --steps, and the runtime flags, rejecting anything else.