# -*- mode: snippet -*-
# contributor: João Diogo Duarte
# group: tactics
# name: implies
# key: implies
# --
$1 => $2