Documentation for amdahl and types