513a35b503
Change-Id: Iae2ce3783bc2632b265641e286b4145373c7a226 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8478 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
7 lines
No EOL
136 B
Text
7 lines
No EOL
136 B
Text
# -*- mode: snippet -*-
|
|
# name: use-module
|
|
# uuid: use-module
|
|
# key: use
|
|
# condition: t
|
|
# --
|
|
:- use_module(${1:library($2)}${3:, [$4]}). |