The Collaborative International Dictionary of English v.0.48:

Micruroides \Micruroides\ prop. n.
   A genus of coral snakes.

   Syn: genus Micruroides.
        [WordNet 1.5]

WordNet (r) 3.0 (2006):

Micruroides
    n 1: coral snakes [syn: Micruroides, genus Micruroides]