module Contracts::Core