module Lifecycle : sig ... end
module Main : sig ... end
module MM : sig ... end
module Time : sig ... end
module Xs : sig ... end
module Activations : sig ... end
module Device_state : sig ... end
module Sched : sig ... end
module Start_info : sig ... end
module Xen : sig ... end