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