úÎ$      None ,9:;<=DQRNone ,9:;<=DQRSafe$tools to detect the length of a type  None *,9:;<=DOT The length of an input     None ,9:;<=DQR'Certain refinedments imply others. See /https://github.com/nikita-volkov/refined/pull/6     +validated-types-0.1.1-zU2C1sCe6a32JZWdBJYDrRefined.OnlyDigitsRefined.LessThanEqData.CharLengthRefined.LengthRefined.Implies OnlyDigits$fPredicateOnlyDigits[]$fPredicateOnlyDigitsText LessThanEq$fPredicateLessThanEqx CharLength charLengthcharOutcharIn$fCharLengthInt$fCharLengthText LengthMaxLengthEqLength$fPredicateLengthxImpliesrelax$fImpliesLengthLength$fImpliesEqualToLessThanEq$fImpliesEqualToLessThan$fImpliesLessThanLessThan