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