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