Pudu programming language
Menu

Std.App.Health.fromTruth

1 declaration

fn

fromTruth: Bool -> Std.App.Health.Verdict

This is a callable function.

What it does

A verdict from a truth, for the many checks that are one.

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.

Back to Std.App.HealthSearch related declarations