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