sig
  module type TYPE = Ctypes.TYPE
  module type BINDINGS = functor (F : TYPE-> sig end
  val write_c :
    Stdlib.Format.formatter -> (module Cstubs.Types.BINDINGS-> unit
end