Brassaia_eio_pack.Importmodule Brassaia = Brassaia_eio.Brassaiainclude module type of struct include Brassaia.Export_for_backends endmodule Store_properties = Brassaia.Export_for_backends.Store_propertiesmodule Logging = Brassaia.Export_for_backends.Loggingmodule Reversed_list = Brassaia.Export_for_backends.Reversed_listmodule Path = Brassaia.Export_for_backends.Pathinclude module type of struct include Brassaia_eio.Import endtype read = Brassaia_eio.Perms.readtype write = Brassaia_eio.Perms.writetype read_write = Brassaia_eio.Perms.read_writemodule Option = Brassaia.Export_for_backends.Optionmodule List = Brassaia.Export_for_backends.Listmodule Mtime = Brassaia.Export_for_backends.Mtimemodule Seq = Brassaia.Export_for_backends.Seqmodule Int63 : sig ... endtype int63 = Int63.tval int63_t : Optint.Int63.t Brassaia.Type.tmodule Mem : sig ... end