module Types : functor (F : Cstubs.Types.TYPE) -> sig ... end
module Bindings : functor (F : Cstubs.FOREIGN) -> sig ... end