A match
выражение в OCaml - это просто выражение. Это может появиться везде, где вы можете иметь выражение. Тело for
l oop является выражением, так что да, у вас может быть выражение match
.
(Если у вас есть такие базовые c вопросы об OCaml, вы, вероятно, узнаете много быстрее, работая с учебником, чем задавая вопросы здесь, в StackOverflow.)