module Imports.A where

postulate A : Set