sig
  type t
  type 'a structure
  val structure : Structure.Internal.t Structure.Internal.structure
end