module BloodContracts::Core

Scope for refinement types & helpers for them