Wikipedia Brachyrhinodon Brachyrhinodon is an extinct genus of sphenodontian from the Triassic of Scotland .