object If
- Companion
- class
Type members
Givens
Givens
given IsKeyword_If_|[ConditionKeyword, ThenKeyword, ThenValue, ElseKeyword, ElseValue](using val x$1: IsKeyword[ThenKeyword, ThenValue], val x$2: IsKeyword[ElseKeyword, ElseValue]): IsKeyword[If[ConditionKeyword, ThenKeyword, ElseKeyword], ThenValue | ElseValue]
given PolyCont_If_Domain_Value[ConditionKeyword, ThenKeyword, ElseKeyword, Domain, Value](using val x$1: PolyCont[ConditionKeyword, Domain, Boolean], val x$2: PolyCont[ThenKeyword, Domain, Value], val x$3: PolyCont[ElseKeyword, Domain, Value]): PolyCont[If[ConditionKeyword, ThenKeyword, ElseKeyword], Domain, Value]