Documenting high-level ASF IF