Module Printable.StdLeaf

Default dummy definitions for leaf types: primitive and CIL types, which don't contain inner types that require relifting.

include module type of struct include Std end
val tag : 'a -> 'b
val arbitrary : unit -> 'a
val relift : 'a -> 'a