a291c8690a
GitOrigin-RevId: e6e19f3d81a982a62e1bba08f0b4f7fdc21b4ea0
7 lines
No EOL
125 B
Text
7 lines
No EOL
125 B
Text
# -*- mode: snippet -*-
|
|
# name: use-module
|
|
# uuid:
|
|
# key: use
|
|
# condition: t
|
|
# --
|
|
:- use_module(${1:library($2)}${3:, [$4]}). |