Module Generator.Left_shift_negative

module Left_shift_negative: S 

val is_computed : Kernel_function.t -> bool
val set : Kernel_function.t -> bool -> unit
val accessor : Db.RteGen.status_accessor