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

include Type.Polymorphic3_input

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

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

type ('a, 'b, 'c) t

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

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

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

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

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

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

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