A double dimer model is obtained via superposition of two dimer models. It is essentially a fully packed loop model allowing doubled edges in addition to nontrivial loops. We use quaternion determinants \cite{kenyon2012conformal} ...