~/jendhub

def count_m1

unified-nsga-iii@0.2.2.0 · lib.bend:43

import unified-nsga-iii@0.2.2.0/lib.bend as Lib
import Base
import unified-nsga-iii@0.2.2.0/reference_directions.bend as ReferenceDirections
import unified-nsga-iii@0.2.2.0/util.bend as Util

43def count_m1() -> Nat:
44  Util.nat_min(ReferenceDirections.count(1n, 12n), 1n)

Uses (3)

Used by (0)

No other definition uses this definition.