module Pact::Hal