module Jet::Contract::Check::BuiltIn