Mercury documentation, version 0.12.2