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