module Mv::Core::Constraint