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