sig
  val pretty : Layout.usage Pretty_utils.formatter
  val merge : Layout.usage -> Layout.usage -> Layout.usage
  val is_shifted : Layout.usage -> bool
  val is_aliased : Layout.usage -> bool
end