module Contracts::Attrs