Module `Genprintval`

module type OBJ = sig ... end

module type EVALPATH = sig ... end

type ('a, 'b) gen_printer =

module type S = sig ... end

module Make
  (O : Genprintval.OBJ)
  (_ : Genprintval.EVALPATH with type valu = O.t) : 
  Genprintval.S with type t = O.t

Module Genprintval