guard is:module package:Agda

Translates guard alternatives to if-then-else cascades. The builtin translation must be run before this transformation.