Module Datascope.Sid


module Sid: sig .. end
Statement identifier

type t = int 
val compare : 'a -> 'a -> int
val hash : 'a -> 'a
val id : 'a -> 'a
val default : int
val pretty : Format.formatter -> int -> unit
module Datatype: Datatype.Int