object If
- Companion
- class
Type members
Givens
Givens
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]