Std.Function.fixpoint

fn

This is a callable function.

What it does

A function applied to itself's result until it stops changing.

The step count is bounded: a strict language cannot recover from a function

with no fixed point, and exhausting the bound answers with what it had.

Read the signature

• The text after the name is the type checked by Pudu.
• Read arrows from left to right: inputs come first, and the final type is returned.