Frama-C API - P
include Type.Polymorphic2_input
val structural_descr : Structural_descr.t -> Structural_descr.t -> Structural_descr.t
val reprs : 'a -> 'b -> ('a, 'b) t list
val mk_hash : ('a -> int) -> ('b -> int) -> ('a, 'b) t -> int
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