Compiler constraint for ocsigen