Ty.Clone

Documentation

cloneT

Arguments

:: Int

-> T a

-> (Int, T a, IntMap Int)

Substition on type variables, returned so constraints can be propagated/copied