Что касается типов параметров , спецификация для Minizinc (раздел 6.6.3) говорит: Обзор . Типы параметров, определенные с помощью конструктора типов opt, определяют типы, которые могут быть или не быть. Они похожи на типы неявности...