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