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