Module Inferencer.Scheme

type t =
  1. | S of IntSet.t * Ast.ty