Await_capsuleinclude module type of struct include Portable_kernel.Capsule endmodule Blocking_sync = Portable_kernel.Capsule.Blocking_syncmodule Expert = Portable_kernel.Capsule.Expertmodule Access = Portable_kernel.Capsule.Accessmodule Data = Portable_kernel.Capsule.Datamodule Isolated = Portable_kernel.Capsule.Isolatedmodule Guard = Portable_kernel.Capsule.Guardmodule Initial = Portable_kernel.Capsule.Initialmodule type Module_with_mutex = sig ... endmodule type Module_with_rwlock = sig ... endmodule Mutex : sig ... endmodule With_mutex : sig ... endmodule Rwlock : sig ... endmodule With_rwlock : sig ... end