include module type of Fdd.FDD with type FDD.t = Fdd.FDD.t and type FDD.r = Action.t and type FDD.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
val of_pred : Field.Env.t ‑> Syntax.pred ‑> t
val of_mod : Field.Env.t ‑> Syntax.header_val ‑> t