summaryrefslogtreecommitdiff
path: root/tuareg-mode/type
diff options
context:
space:
mode:
authorAlberto Luaces Fernández <aluaces@udc.es>2015-05-13 19:45:06 +0100
committerAlberto Luaces Fernández <aluaces@udc.es>2015-05-13 19:45:06 +0100
commitf4123b269fe5af6d04d68a643d16fea9fa388e2d (patch)
tree4361a69e833eaa18c49cad6bf594c9cddfcc6f89 /tuareg-mode/type
Import yasnippet-snippets_0~git20150512.orig.tar.gz
[dgit import orig yasnippet-snippets_0~git20150512.orig.tar.gz]
Diffstat (limited to 'tuareg-mode/type')
-rw-r--r--tuareg-mode/type5
1 files changed, 5 insertions, 0 deletions
diff --git a/tuareg-mode/type b/tuareg-mode/type
new file mode 100644
index 0000000..a81b0e1
--- /dev/null
+++ b/tuareg-mode/type
@@ -0,0 +1,5 @@
+# -*- mode: snippet -*-
+# name: type_record
+# key: type
+# --
+type ${1:name} = {${2:var}: ${3:int}$0} \ No newline at end of file