Search for heavy neutral leptons in B-meson decays | Synapse