Std.Bool.implies

fn

This is a callable function.

What it does

Whether the first being true forces the second to be.

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.