Functor Cut_form.FV_tbl

module FV_tbl: 
functor (X : Map.OrderedType) -> sig .. end

type value = X.t 

type t 

val create : unit -> t

val add : t -> Cut_form.cut_form -> value -> unit

val mem : t -> Cut_form.cut_form -> bool

val get : t -> Cut_form.cut_form -> value option

val to_seq : t -> (Cut_form.cut_form * X.t) Sequence.t