def cfg_pop

unified-nsga-iii@0.2.2.0 · algorithm.bend:54

import Base

54def cfg_pop(c: Config) -> Nat:
55  match c:
56    case MkConfig{dirs, pop_size, gens, seed, mode, elim_dups}:
57      pop_size