unison

Fork of Unison, a bi-directional file synchronization tool
git clone git://git.laack.co/unison.git
Log | Files | Refs | README | LICENSE

proplist.mli (356B)

      1 (* Unison file synchronizer: src/ubase/proplist.mli *)
      2 (* Copyright 1999-2020, Benjamin C. Pierce (see COPYING for details) *)
      3 
      4 type 'a key
      5 type t
      6 
      7 val m : t Umarshal.t
      8 
      9 val register : string -> 'a Umarshal.t -> 'a key
     10 
     11 val empty : t
     12 val mem : 'a key -> t -> bool
     13 val find : 'a key -> t -> 'a
     14 val add : 'a key -> 'a -> t -> t
     15 val remove : 'a key -> t -> t