USER_IN_WHITELIST autolearn=no version=3.2.3

X-Spam-Level: 

X-Spam-Checker-Version: SpamAssassin 3.2.3 (2007-08-08) on luckytravels.com

X-Virus-Scanned: ClamAV 0.80/533/Sat Oct 16 21:09:44 2004
	clamav-milter version 0.80j
	on luckytravels.com
X-Virus-Status: Clean

|This construction does not work properly.

let label = "foo" in
<:ctyp< ? $lid:label$ : int -> () >> |:  optional label type.

But this, work fine:
<:ctyp<?foo:int -> ()>>


How I can use antiqoutation in this expression?
Thanks