def has_infeas.on

unified-nsga-iii@0.2.2.0 · normalization.bend:500

import Base

500# A computed Bool is matched only as a parameter. The recursive result
501# is an argument, so these walks are not mutually recursive.
502def has_infeas.on(later: Bool, feas: Bool) -> Bool:
503  match feas:
504    case False{}:
505      True{}
506    case True{}:
507      later