Module Why3findUtils.DictSource

Sourcetype 'a t
Sourceval empty : 'a t
Sourceval add : string -> 'a -> 'a t -> 'a t
Sourceval find : string -> int -> 'a t -> 'a option
Sourceval starts_with : prefix:string -> string -> int -> bool
Sourceval ends_with : suffix:string -> string -> int -> bool
Sourceval dump : Format.formatter -> 'a t -> unit