Labels (Labels)

Attached to unit


      module A
      
       : sig ... 
       end

type t

Attached to type


      val f : 
       Labels.t

Attached to value


      val e : 
       unit -> 
       Labels.t

Attached to external


      module 
       type 
       S
      
       = sig ... 
       end

class 
      c
       : object ... 
       end


      class 
       type  
      cs
       = object ... 
       end

exception 
      E

Attached to exception

type x = 
      ..


      type Labels.x
        +=

Attached to extension


      module S := 
       Labels.A

Attached to module subst

type s
       := Labels.t

Attached to type subst

type u =

type v = 
      {

}

Testing that labels can be referenced