module BatteriesThread: sig .. end
sig
end
module Mutex: BatMutex
BatMutex
module RMutex: BatRMutex
BatRMutex