(module GtkRangeProps.Ruler)