Documenting high-level ASF IF: t+