Module EvalType


module EvalType: sig .. end

val eval_type : CompileData.id_solver -> Syntaxe.type_exp -> CompileData.type_eff