INFO: Background parsing started
<<EOF>>
DATA: errors
<<EOF>>
INFO: No tooltip information
<<EOF>>
DATA: tooltip
val ( |<>| ) : x:int -> y:int -> int

Full name: Script.( |<>| )
<<EOF>>
DATA: tooltip
val ( |<>| ) : x:int -> y:int -> int

Full name: Script.( |<>| )
<<EOF>>
DATA: tooltip
val ( |<>| ) : x:int -> y:int -> int

Full name: Script.( |<>| )
<<EOF>>
DATA: tooltip
val ( |<>| ) : x:int -> y:int -> int

Full name: Script.( |<>| )
<<EOF>>
DATA: tooltip
val ( |<>| ) : x:int -> y:int -> int

Full name: Script.( |<>| )
<<EOF>>
INFO: No tooltip information
<<EOF>>
INFO: No tooltip information
<<EOF>>
DATA: tooltip
val ( |..| ) : x:int -> y:int -> int

Full name: Script.( |..| )
<<EOF>>
DATA: tooltip
val ( |..| ) : x:int -> y:int -> int

Full name: Script.( |..| )
<<EOF>>
DATA: tooltip
val ( |..| ) : x:int -> y:int -> int

Full name: Script.( |..| )
<<EOF>>
DATA: tooltip
val ( |..| ) : x:int -> y:int -> int

Full name: Script.( |..| )
<<EOF>>
DATA: tooltip
val ( |..| ) : x:int -> y:int -> int

Full name: Script.( |..| )
<<EOF>>
INFO: No tooltip information
<<EOF>>
DATA: tooltip
val ( |Zero|Succ| ) : n:int -> Choice<unit,int>

Full name: Script.( |Zero|Succ| )
<<EOF>>
DATA: tooltip
val ( |Zero|Succ| ) : n:int -> Choice<unit,int>

Full name: Script.( |Zero|Succ| )
<<EOF>>
DATA: tooltip
val ( |Zero|Succ| ) : n:int -> Choice<unit,int>

Full name: Script.( |Zero|Succ| )
<<EOF>>
