Documentation for type constraint API