module Make(R:Repr.PRINTER): 
  Repr.LAYER with type repr = R.t