Module LogtkFOTerm.Tbl

module Tbl: sig .. end

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