refining-core 0.1.0

Core functionality for refinement types.
Documentation
1
2
3
4
5
//! Pre-defined contexts for refinements.

use crate::type_str;

type_str!(pub NoContext = "no context" => "Represents the absence of context.");