is

A type check refines a stable binding inside the true branch.

Example.kalm kalm
pub fun loud(value: Any) -> Text:
    if value is Text:
        return value.upper()
    return "not text"

Learn more.