Здравствуйте, ugoday, Вы писали:
U>% cat simple.mli
U>external add : int -> int = "add"
U>% cat simple.c
U>int add(int a){
U> return ++a;
U>}

В С-шные функции разве не специально обернутые параметры передаются?

Типа
CAMLprim value bigarray_map_file(value vfd, value vkind, value vlayout,
value vshared, value vdim)