Module LogtkHOTerm.Tbl

module Tbl: sig .. end

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