Module Deriving_Default.Default_int

module Default_int: Default  with type a = int

type a 
val default : unit -> a