Frama-C API - `Polymorphic3_input`

See module Polymorphic_input: very same functions with two additional arguments corresponding to the second and third type variables.

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

val module_name : 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

Frama-C API - Polymorphic3_input