module Parallel_bonds: sig .. end
sig
end
module Domain: Analyzer_domain_sig.Domain
Analyzer_domain_sig.Domain