Crate refined_type

Modules

• result
• rule

Macros

• equal_rule
  This macro generates a rule that checks if the number is equal to N
• greater_rule
  This macro generates a rule that checks if the number is greater than N
• less_rule
  This macro generates a rule that checks if the number is less than N

Structs

• Refined
  Refined is a versatile type in ensuring that T satisfies the conditions of RULE (predicate type)