Mandamus defined.

The writ of mandamus may be denominated a writ of mandate.

[1895 c 65 § 15; RRS § 1013.]