Frama-C:
Plug-ins:
Libraries:

Frama-C API - P

include Type.Polymorphic4_input
val name : 'a Type.t -> 'b Type.t -> 'c Type.t -> 'd Type.t -> string
val module_name : string
type ('a, 'b, 'c, 'd) t
val reprs : 'a -> 'b -> 'c -> 'd -> ('a, 'b, 'c, 'd) t list
val mk_equal : ('a -> 'a -> bool) -> ('b -> 'b -> bool) -> ('c -> 'c -> bool) -> ('d -> 'd -> bool) -> ('a, 'b, 'c, 'd) t -> ('a, 'b, 'c, 'd) t -> bool
val mk_compare : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('c -> 'c -> int) -> ('d -> 'd -> int) -> ('a, 'b, 'c, 'd) t -> ('a, 'b, 'c, 'd) t -> int
val mk_hash : ('a -> int) -> ('b -> int) -> ('c -> int) -> ('d -> int) -> ('a, 'b, 'c, 'd) t -> int
val map : ('a -> 'b) -> ('c -> 'd) -> ('e -> 'f) -> ('g -> 'h) -> ('a, 'c, 'e, 'g) t -> ('b, 'd, 'f, 'h) t
val mk_pretty : (Stdlib.Format.formatter -> 'a -> unit) -> (Stdlib.Format.formatter -> 'b -> unit) -> (Stdlib.Format.formatter -> 'c -> unit) -> (Stdlib.Format.formatter -> 'd -> unit) -> Stdlib.Format.formatter -> ('a, 'b, 'c, 'd) t -> unit
val mk_mem_project : ((Project_skeleton.t -> bool) -> 'a -> bool) -> ((Project_skeleton.t -> bool) -> 'b -> bool) -> ((Project_skeleton.t -> bool) -> 'c -> bool) -> ((Project_skeleton.t -> bool) -> 'd -> bool) -> (Project_skeleton.t -> bool) -> ('a, 'b, 'c, 'd) t -> bool