Frama-C API - T
val structural_descr : Structural_descr.t -> Structural_descr.t -> Structural_descr.t -> Structural_descr.t -> Structural_descr.tval reprs : 'a -> 'b -> 'c -> 'd -> ('a, 'b, 'c, 'd) t list
Frama-C Frama-C Tval structural_descr : Structural_descr.t -> Structural_descr.t -> Structural_descr.t -> Structural_descr.t -> Structural_descr.tval reprs : 'a -> 'b -> 'c -> 'd -> ('a, 'b, 'c, 'd) t list