Frama-C:
Plug-ins:
Libraries:

Frama-C API - Kind

Logic Types Utilities

val of_tau : 'a Logic.datatype -> Logic.sort
val of_poly : (int -> Logic.sort) -> 'a Logic.datatype -> Logic.sort
val image : Logic.sort -> Logic.sort
val merge : Logic.sort -> Logic.sort -> Logic.sort
val merge_list : ('a -> Logic.sort) -> Logic.sort -> 'a list -> Logic.sort
val basename : Logic.sort -> string
val pretty : Stdlib.Format.formatter -> Logic.sort -> unit
val pp_tvar : Stdlib.Format.formatter -> int -> unit
val pp_tau : (Stdlib.Format.formatter -> int -> unit) -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a Logic.datatype -> unit
val pp_data : (Stdlib.Format.formatter -> 'a -> unit) -> (Stdlib.Format.formatter -> 'b -> unit) -> Stdlib.Format.formatter -> 'a -> 'b list -> unit
val pp_record : (Stdlib.Format.formatter -> 'f -> unit) -> (Stdlib.Format.formatter -> 'b -> unit) -> Stdlib.Format.formatter -> ?opened:bool -> ('f * 'b) list -> unit
val hash_tau : ('a -> int) -> 'a Logic.datatype -> int
val eq_tau : ('a -> 'a -> bool) -> 'a Logic.datatype -> 'a Logic.datatype -> bool
val compare_tau : ('a -> 'a -> int) -> 'a Logic.datatype -> 'a Logic.datatype -> int
val map_tau : ('a1 -> 'a2) -> 'a1 Logic.datatype -> 'a2 Logic.datatype
val map_element : ('a -> 'b) -> 'a Logic.element -> 'b Logic.element
val map_operator : ('a -> 'b) -> 'a Logic.operator -> 'b Logic.operator
val map_category : ('a -> 'b) -> 'a Logic.category -> 'b Logic.category
module MakeTau (A : Logic.Data) : Logic.Data with type t = A.t Logic.datatype