sig val in_key : Structural_descr.t val out_key : Structural_descr.t val key : Structural_descr.t val t : Structural_descr.t -> Structural_descr.t end