functor (X : Map.OrderedType) ->
  sig
    type value = X.t
    type t
    val create : unit -> Cut_form.FV_tbl.t
    val add :
      Cut_form.FV_tbl.t -> Cut_form.cut_form -> Cut_form.FV_tbl.value -> unit
    val mem : Cut_form.FV_tbl.t -> Cut_form.cut_form -> bool
    val get :
      Cut_form.FV_tbl.t -> Cut_form.cut_form -> Cut_form.FV_tbl.value option
    val to_seq : Cut_form.FV_tbl.t -> (Cut_form.cut_form * X.t) Sequence.t
  end