如何以函数式风格（ML）排版伪代码？

Question

我是 LaTeX 新手。我想像图中一样以函数式风格编写伪代码。

\[

Weaken(c, A) = \\
\indent \indent  & \text{match $c$ with} \\ 
\indent \indent  & \mid \Gamma \vdash A \to B \\ 
\indent \indent  & \mid \Gamma \vdash C \to D 

\]

上述代码给出以下输出：

我不希望你们复制第一张图片。我只想要一个像代码中的模板。我想知道是否有一些标准包可以简化这一切。例如，我不想一直写 \mid 和 \indent。