module type S =
  sig
    type tv
    type ts
    
  end