背景

ctypesで関数ポインタをC側に渡し、コールバックしてもらうユースケースで
問題となった。

Cから呼びたい型

以下のコードでC側からは

int hoge(char*p)

という関数としてコードを呼び出したい。

引数と返り値の型をなんとかしたい。

let f x = 
begin 
 print_string x;
 -1;
end;;

糖衣構文でやり過ごせた。

引数xの方はprint_stringでstring型にできた。
-1とすることで返り値は符号付きのint型として
OCamlのコンパイラに認めてもらえた。