7 lines
101 B
Plaintext
7 lines
101 B
Plaintext
# -*- mode: snippet -*-
|
|
# key: Req
|
|
# group: misc
|
|
# name: Require
|
|
# --
|
|
${1:$$(coq-insert-requires)}
|
|
$0 |