Модуль Format.Args

module Args: sig .. end

Модуль Args определяет тип гетерогенного списка, который можно использовать в качестве аргумента функций, подобных printf.

При использовании функций, принимающих Args.t, открывать этот модуль не требуется. Благодаря разрешению неоднозначности на основе типов тип выводится автоматически, поэтому синтаксис списка [x; y; z] можно напрямую использовать для гетерогенных списков.

Пример:

    (* without opening Args *)
    Format.lprintf "%s %d %.02f@." [ "ocaml"; 42; 3.14 ]

    (* or with explicit construction *)
    let lst = let open Format.Args in "ocaml" :: [ 42; 3.14 ] @ [ 'c' ] in
    Format.lprintf "%s %d %.02f %c@." lst

С версии 5.5

type ('a, 'r) t =

`\|`	`[] : ('r0, 'r0) t`
`\|`	`(::) : 'a0 * ('b, 'r1) t -> ('a0 -> 'b, 'r1) t`

val apply : 'a -> ('a, 'r) t -> 'r

val (@) : ('a, 'r1) t ->       ('r1, 'r2) t -> ('a, 'r2) t