InParallelStep.dhall 134 B

12345
  1. λ(Step : Type)
  2. → let InParallelConfig = ./InParallelConfig.dhall Step
  3. in < Steps : List Step | Config : InParallelConfig >