图神经网络是一种专门为处理图结构数据而设计的深度学习架构。因此，它们也继承了深度学习固有的局限性和问题，尤其是在可解释性和可信度方面。我们提出了 $\mu\mathcal{G}$，一种用于指定图神经网络的全新领域特定语言，旨在克服这些问题。本文介绍了该语言的语法，并通过语义学对其含义进行了严格定义。同时，我们还提供了等效的运算语义表征，并结合类型系统证明了 $\mu\mathcal{G}$ 的类型安全。我们展示了如何以更友好的图形可视化方式表示 $\mu\mathcal{G}$ 程序，并通过展示如何使用它定义一些最流行的图神经网络模型或开发任何自定义图处理应用程序来证明其通用性。