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