Absint.SubtypingCheck
val check_subtype : IR.Tenv.t -> IR.Typ.t -> IR.Typ.t -> bool
check_subtype t1 t2 checks whether t1 is a subtype of t2, given the type environment tenv.