Frama-C API - Term
Logic expressions
module Make (ADT : Logic.Data) (Field : Logic.Field) (Fun : Logic.Function) : sig ... end
Frama-C Frama-C TermLogic expressions
module Make (ADT : Logic.Data) (Field : Logic.Field) (Fun : Logic.Function) : sig ... end