Module Inferencer.Scheme

type t =
  1. | Scheme of VarSet.t * Frontend.Ast.ty