diff options
| author | Daniil Baturin <daniil@baturin.org> | 2019-06-30 01:00:01 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2019-06-30 01:25:57 +0700 |
| commit | aa3d09c3fff12e379fd189ceaf55644574ff5c43 (patch) | |
| tree | 95ffb89bb701c14ea0e9533661c3c5c0a6aff8e9 /src/vylist.mli | |
| download | vyos1x-config-aa3d09c3fff12e379fd189ceaf55644574ff5c43.tar.gz vyos1x-config-aa3d09c3fff12e379fd189ceaf55644574ff5c43.zip | |
Initial import of libraries from Vyconf and old libvyosconfig.
Diffstat (limited to 'src/vylist.mli')
| -rw-r--r-- | src/vylist.mli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/vylist.mli b/src/vylist.mli new file mode 100644 index 0000000..9135bf6 --- /dev/null +++ b/src/vylist.mli @@ -0,0 +1,7 @@ +val find : ('a -> bool) -> 'a list -> 'a option +val remove : ('a -> bool) -> 'a list -> 'a list +val replace : ('a -> bool) -> 'a -> 'a list -> 'a list +val insert_before : ('a -> bool) -> 'a -> 'a list -> 'a list +val insert_after : ('a -> bool) -> 'a -> 'a list -> 'a list +val complement : 'a list -> 'a list -> 'a list +val in_list : 'a list -> 'a -> bool |