sig
  val create : unit -> Structural_descr.recursive
  val update : Structural_descr.recursive -> Structural_descr.t -> unit
end