OCaml中如何在let表达式中使用值而非名称/标识符？

我看到如下代码：

let () = assert (f input1 = output1)

assert表达式返回unit类型的值，该类型仅有一个可显示为()的取值。我原本认为let定义应将名称/标识符绑定到表达式，但此处使用的是值()。

我在utop中进行了测试：

utop # let () = assert (1 = 1);;

无输出，不清楚后台逻辑。

将()替换为名称x后：

utop # let x = assert (1 = 1);;
val x : unit = ()

符合预期。

疑问：如何在let表达式中使用值而非名称/标识符？或者说，如何将内容绑定到值？

补充说明（2025年1月9日 9:51） #

根据OCaml语言规范：

let和let rec结构用于局部绑定值名称。结构：

let pattern1 = expr1 and … and patternn = exprn in expr

会以未指定顺序计算expr1…exprn，并将它们的值与pattern1…patternn模式匹配。若匹配成功，将在匹配过程中完成绑定的环境中计算expr，并返回expr的值作为整个let表达式的值。若匹配失败，将抛出Match_failure异常。

另关于模式的定义：

变量模式 #

由值名称构成的模式匹配任意值，并将名称绑定到该值。

常量模式 #

由常量构成的模式匹配与该常量相等的值。

因此，在我的案例中，=左侧的()是常量模式，它精确匹配值()，但该模式中没有要绑定的标识符，因此不会发生绑定。我在Stack Overflow上发布了详细解释。

内容的提问来源于stack exchange，提问作者smwikipedia