Как вернуть довольно печатную строку с использованием функции Format.fprintf?

Question

Я пытаюсь понять и использовать Format.fprintf для куска кода в модуле. У меня есть функция, как этот

let some_function fmt s = match s with 
    | For(exp,_) -> Format.fprintf fmt "something here" 
    | Assume x-> Format.fprintf fmt "something here as well" 

Я хочу изменить эту функцию, чтобы вернуть строку. Printf.sprintf не является вариантом из-за некоторых довольно принтеров, которые я использую в исходном коде. Пожалуйста помоги.

Answer 1

Использование Format.asprintf:

let string_of_s = Format.asprintf "%a" some_function s 

Я не рекомендую использовать Format.sprintf, поскольку она имеет ограниченный тип. Например, следующий не тип проверки:

let string_of_s_ill_typed = Format.sprintf "%a" some_function s