module BloodContracts::Core::Ext

Scope for extended refinement types