sig
  val compare :
    ('-> '-> int) -> 'Layout.value -> 'Layout.value -> int
  val equal :
    ('-> '-> bool) -> 'Layout.value -> 'Layout.value -> bool
  val pretty :
    'Pretty_utils.formatter -> 'Layout.value Pretty_utils.formatter
  val sizeof : 'Layout.value -> int
  val pointed : 'Layout.value -> 'a option
  val merge :
    ('-> '-> 'a) ->
    'Layout.value -> 'Layout.value -> 'Layout.value option
end