An FDD is an instance of a Variable-Lattice-Result (VLR) structure.
include module type of sig ... end with type r = Action.t and type v = Field.t * Value.t
module Tbl : sig ... end
module BinTbl : sig ... end
val get_uid : t ‑> int
val drop : t
val id : t
val to_string : t ‑> string
val compressed_size : t ‑> int
val uncompressed_size : t ‑> int
val to_dot : t ‑> string
val refs : t ‑> Core.Int.Set.t
val serialize : t ‑> string
val deserialize : string ‑> t
val render : ?format:string ‑> ?title:string ‑> t ‑> unit
val mk_cont : int64 ‑> t
val conts : t ‑> Core.Int64.Set.t