Module LogtkScopedTerm.Tbl

module Tbl: sig .. end

include Hashtbl.S
val to_list : 'a LogtkScopedTerm.t -> (key * 'a) list
val of_list : ?init:'a LogtkScopedTerm.t -> (key * 'a) list -> 'a LogtkScopedTerm.t
val to_seq : 'a LogtkScopedTerm.t -> (key * 'a) Sequence.t
val of_seq : ?init:'a LogtkScopedTerm.t -> (key * 'a) Sequence.t -> 'a LogtkScopedTerm.t