Field EdgeKind::CaseEdge::minValue