module EvalType: sig .. end
sig
end
val eval_type : CompileData.id_solver -> Syntaxe.type_exp -> CompileData.type_eff
CompileData.id_solver -> Syntaxe.type_exp -> CompileData.type_eff