Variant module

is

procedure · 1 overloadsince 0.29.0Source

Whether the live case is T.

is :: (v: $V/Variant, $T: Type) -> bool

Whether the live case is T.

Parameters

v: $V/Variant
$T: Type

Returns

bool

See also