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