P (frama-c.Frama_c_kernel.Datatype.Polymorphic2.1-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 -> 'a ) -> ( 'b -> 'b ) -> ( 'a, 'b ) t -> ( 'a, 'b ) 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