Module Layout.Value

val compare : ( 'a -> 'a -> int ) -> 'a value -> 'a value -> int
val equal : ( 'a -> 'a -> bool ) -> 'a value -> 'a value -> bool
val sizeof : 'a value -> int
val pointed : 'a value -> 'a option
val merge : ( 'a -> 'a -> 'a ) -> 'a value -> 'a value -> 'a value option