Vhd_format.S
module type ASYNC = sig ... end
module type TIME = sig ... end
module type RW = sig ... end
module type FILE = sig ... end
module type INPUT = sig ... end