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