Frama-C API - Kind
Logic Types Utilities
val of_tau : ('f, 'a) Logic.datatype -> Logic.sortval of_poly : (int -> Logic.sort) -> ('f, 'a) Logic.datatype -> Logic.sortval image : Logic.sort -> Logic.sortval degree_of_tau : ('f, 'a) Logic.datatype -> intval degree_of_list : ('f, 'a) Logic.datatype list -> intval degree_of_sig : ('f, 'a) Logic.funtype -> intval type_params : int -> ('f, 'a) Logic.datatype listval merge : Logic.sort -> Logic.sort -> Logic.sortval merge_list : ('a -> Logic.sort) -> Logic.sort -> 'a list -> Logic.sortval tmap : ('a, 'f) Logic.datatype array -> ('a, 'f) Logic.datatype -> ('a, 'f) Logic.datatypeval basename : Logic.sort -> stringval pretty : Stdlib.Format.formatter -> Logic.sort -> unitval pp_tau : (Stdlib.Format.formatter -> int -> unit) -> (Stdlib.Format.formatter -> 'f -> unit) -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> ('f, 'a) Logic.datatype -> unitval eq_tau : ('f -> 'f -> bool) -> ('a -> 'a -> bool) -> ('f, 'a) Logic.datatype -> ('f, 'a) Logic.datatype -> boolval compare_tau : ('f -> 'f -> int) -> ('a -> 'a -> int) -> ('f, 'a) Logic.datatype -> ('f, 'a) Logic.datatype -> intmodule MakeTau (F : Logic.Field) (A : Logic.Data) : Logic.Data with type t = (F.t, A.t) Logic.datatype