List (u.3758aa3ddc38cffa23da0eeb3fa7893a.rocq-runtime.9.0.0.doc.rocq-runtime.clib.Int.List)

Sourceval mem : int -> int list -> bool

Sourceval assoc : int -> (int * 'a) list -> 'a

Sourceval mem_assoc : int -> (int * 'a) list -> bool

Sourceval remove_assoc : int -> (int * 'a) list -> (int * 'a) list