Module Datascope.Sid


module Sid: sig .. end
Statement identifier

include Datatype.Int
val default : int