Frama-C:
Plug-ins:
Libraries:

Frama-C API - P

include Type.Polymorphic2_input
val name : 'a Type.t -> 'b Type.t -> string
type ('a, 'b) t
val reprs : 'a -> 'b -> ('a, 'b) t list
val equal : ('a -> 'a -> bool) -> ('b -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t -> bool
val compare : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> int
val hash : ('a -> int) -> ('b -> int) -> ('a, 'b) t -> int
val map : ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) t -> ('b, 'd) t
val pretty : (Stdlib.Format.formatter -> 'a -> unit) -> (Stdlib.Format.formatter -> 'b -> unit) -> Stdlib.Format.formatter -> ('a, 'b) t -> unit
val mem_project : ((Project_skeleton.t -> bool) -> 'a -> bool) -> ((Project_skeleton.t -> bool) -> 'b -> bool) -> (Project_skeleton.t -> bool) -> ('a, 'b) t -> bool