package Ġio . kot est . property . ar bitrary Ċ Ċ fun Ġ< A , ĠT > ĠA rb . Companion . bind ( arb A : ĠA rb < A >, Ġcreate Fn : Ġ( A ) Ġ-> ĠT ): ĠA rb < T > Ġ= Ġar b Ġ{ ĊĠĠ Ġcreate Fn ( arb A . sample ( it ). value ) Ċ } Ċ Ċ fun Ġ< A , ĠB , ĠT > ĠA rb . Companion . bind ( arb A : ĠA rb < A >, Ġar b B : ĠA rb < B >, Ġcreate Fn : Ġ( A , ĠB ) Ġ-> ĠT ): ĠA rb < T > Ġ= Ġar b Ġ{ ĊĠĠ Ġval Ġa Ġ= Ġar b A . sample ( it ) ĊĠĠ Ġval Ġb Ġ= Ġar b B . sample ( it ) ĊĠĠ Ġcreate Fn ( a . value , Ġb . value ) Ċ } Ċ Ċ fun Ġ< A , ĠB , ĠC , ĠT > ĠA rb . Companion . bind ( ĊĠĠ Ġar b A : ĠA rb < A >, ĊĠĠ Ġar b B : ĠA rb < B >, ĊĠĠ Ġar b C : ĠA rb < C >, ĊĠĠ Ġcreate Fn : Ġ( A , ĠB , ĠC ) Ġ-> ĠT Ċ ): ĠA rb < T > Ġ= Ġar b Ġ{ ĊĠĠ Ġval Ġa Ġ= Ġar b A . sample ( it ) ĊĠĠ Ġval Ġb Ġ= Ġar b B . sample ( it ) ĊĠĠ Ġval Ġc Ġ= Ġar b C . sample ( it ) ĊĠĠ Ġcreate Fn ( a . value , Ġb . value , Ġc . value ) Ċ } Ċ Ċ fun Ġ< A , ĠB , ĠC , ĠD , ĠT > ĠA rb . Companion . bind ( ĊĠĠ Ġar b A : ĠA rb < A >, Ġar b B : ĠA rb < B >, Ġar b C : ĠA rb < C >, Ġar b D : ĠA rb < D >, ĊĠĠ Ġcreate Fn : Ġ( A , ĠB , ĠC , ĠD ) Ġ-> ĠT Ċ ): ĠA rb < T > Ġ= Ġar b Ġ{ ĊĠĠ Ġval Ġa Ġ= Ġar b A . sample ( it ) ĊĠĠ Ġval Ġb Ġ= Ġar b B . sample ( it ) ĊĠĠ Ġval Ġc Ġ= Ġar b C . sample ( it ) ĊĠĠ Ġval Ġd Ġ= Ġar b D . sample ( it ) ĊĠĠ Ġcreate Fn ( a . value , Ġb . value , Ġc . value , Ġd . value ) Ċ } Ċ Ċ fun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠT > ĠA rb . Companion . bind ( ĊĠĠ Ġar b A : ĠA rb < A >, Ġar b B : ĠA rb < B >, Ġar b C : ĠA rb < C >, Ġar b D : ĠA rb < D >, Ġar b E : ĠA rb < E >, ĊĠĠ Ġcreate Fn : Ġ( A , ĠB , ĠC , ĠD , ĠE ) Ġ-> ĠT Ċ ): ĠA rb < T > Ġ= Ġar b Ġ{ ĊĠĠ Ġval Ġa Ġ= Ġar b A . sample ( it ) ĊĠĠ Ġval Ġb Ġ= Ġar b B . sample ( it ) ĊĠĠ Ġval Ġc Ġ= Ġar b C . sample ( it ) ĊĠĠ Ġval Ġd Ġ= Ġar b D . sample ( it ) ĊĠĠ Ġval Ġe Ġ= Ġar b E . sample ( it ) ĊĠĠ Ġcreate Fn ( a . value , Ġb . value , Ġc . value , Ġd . value , Ġe . value ) Ċ } Ċ Ċ fun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠT > ĠA rb . Companion . bind ( ĊĠĠ Ġar b A : ĠA rb < A >, ĊĠĠ Ġar b B : ĠA rb < B >, ĊĠĠ Ġar b C : ĠA rb < C >, ĊĠĠ Ġar b D : ĠA rb < D >, ĊĠĠ Ġar b E : ĠA rb < E >, ĊĠĠ Ġar b F : ĠA rb < F >, ĊĠĠ Ġcreate Fn : Ġ( A , ĠB , ĠC , ĠD , ĠE , ĠF ) Ġ-> ĠT Ċ ): ĠA rb < T > Ġ= Ġar b Ġ{ ĊĠĠ Ġval Ġa Ġ= Ġar b A . sample ( it ) ĊĠĠ Ġval Ġb Ġ= Ġar b B . sample ( it ) ĊĠĠ Ġval Ġc Ġ= Ġar b C . sample ( it ) ĊĠĠ Ġval Ġd Ġ= Ġar b D . sample ( it ) ĊĠĠ Ġval Ġe Ġ= Ġar b E . sample ( it ) ĊĠĠ Ġval Ġf Ġ= Ġar b F . sample ( it ) ĊĠĠ Ġcreate Fn ( a . value , Ġb . value , Ġc . value , Ġd . value , Ġe . value , Ġf . value ) Ċ } Ċ Ċ fun Ġ< A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG , ĠT > ĠA rb . Companion . bind ( ĊĠĠ Ġar b A : ĠA rb < A >, ĊĠĠ Ġar b B : ĠA rb < B >, ĊĠĠ Ġar b C : ĠA rb < C >, ĊĠĠ Ġar b D : ĠA rb < D >, ĊĠĠ Ġar b E : ĠA rb < E >, ĊĠĠ Ġar b F : ĠA rb < F >, ĊĠĠ Ġar b G : ĠA rb < G >, ĊĠĠ Ġcreate Fn : Ġ( A , ĠB , ĠC , ĠD , ĠE , ĠF , ĠG ) Ġ-> ĠT Ċ ): ĠA rb < T > Ġ= Ġar b Ġ{ ĊĠĠ Ġval Ġa Ġ= Ġar b A . sample ( it ) ĊĠĠ Ġval Ġb Ġ= Ġar b B . sample ( it ) ĊĠĠ Ġval Ġc Ġ= Ġar b C . sample ( it ) ĊĠĠ Ġval Ġd Ġ= Ġar b D . sample ( it ) ĊĠĠ Ġval Ġe Ġ= Ġar b E . sample ( it ) ĊĠĠ Ġval Ġf Ġ= Ġar b F . sample ( it ) ĊĠĠ Ġval Ġg Ġ= Ġar b G . sample ( it ) ĊĠĠ Ġcreate Fn ( a . value , Ġb . value , Ġc . value , Ġd . value , Ġe . value , Ġf . value , Ġg . value ) Ċ } Ċ