Solidity_common.IdentAList
type 'a t = (Ident.t * 'a) list
val length : 'a t -> int
val rev : 'a t -> 'a t
val mem : 'a -> ('a * 'b) list -> bool
val find_opt : 'a -> ('a * 'b) list -> 'b option
val map : ('a -> 'b) -> ('c * 'a) list -> ('c * 'b) list
val fold_left : ('a -> 'b -> 'c -> 'a) -> 'a -> ('b * 'c) list -> 'a
val add_uniq : Ident.t -> 'a -> (Ident.t * 'a) list -> (Ident.t * 'a) list