[Ur] disjointness proof in type-level functions

[Sergey Mironov]

>> By the way. Need syntax hint. Can I translate 'fun .. and' syntax into
>> 'val's ?
>>
>> For example,
>>
>> fun loginHandler row = ..
>> and login {} = ...
>>
>> into
>>
>> val loginHandler : $(login_form) ->  transaction page = fn li =>
>> and login : unit ->  transaction page = fn {} =>  ...
>>
>> (does not work as written because of syntax errors reported by the
>> compiler)
>>
>
>
> You just need to add [rec] after [val].

Thanks! Correct syntax for the above case is

val rec login : unit -> transaction page = fn {} => ...
and loginHandler : $(login_form) -> transaction page = fn li => ..

Regards,
Sergey