P (frama-c.Frama_c_kernel.Datatype.Polymorphic2.P)

include Type.Polymorphic2_input

val name : 'a Type.t -> 'b Type.t -> string

val module_name : string

val structural_descr : 
  Structural_descr.t ->
  Structural_descr.t ->
  Structural_descr.t

type ('a, 'b) t

val reprs : 'a -> 'b -> ('a, 'b) t list

val mk_equal : 
  ('a -> 'a -> bool) ->
  ('b -> 'b -> bool) ->
  ('a, 'b) t ->
  ('a, 'b) t ->
  bool

val mk_compare : 
  ('a -> 'a -> int) ->
  ('b -> 'b -> int) ->
  ('a, 'b) t ->
  ('a, 'b) t ->
  int

val mk_hash : ('a -> int) -> ('b -> int) -> ('a, 'b) t -> int

val map : ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) t -> ('b, 'd) t

val mk_pretty : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  (Stdlib.Format.formatter -> 'b -> unit) ->
  Stdlib.Format.formatter ->
  ('a, 'b) t ->
  unit

val mk_mem_project : 
  ((Project_skeleton.t -> bool) -> 'a -> bool) ->
  ((Project_skeleton.t -> bool) -> 'b -> bool) ->
  (Project_skeleton.t -> bool) ->
  ('a, 'b) t ->
  bool