package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Logic Types Utilities

val of_tau : ('f, 'a) Logic.datatype -> Logic.sort
val of_poly : (int -> Logic.sort) -> ('f, 'a) Logic.datatype -> Logic.sort
val image : Logic.sort -> Logic.sort
val degree_of_tau : ('f, 'a) Logic.datatype -> int
val degree_of_list : ('f, 'a) Logic.datatype list -> int
val degree_of_sig : ('f, 'a) Logic.funtype -> int
val type_params : int -> ('f, 'a) Logic.datatype list
val merge : Logic.sort -> Logic.sort -> Logic.sort
val merge_list : ('a -> Logic.sort) -> Logic.sort -> 'a list -> Logic.sort
val tmap : ('a, 'f) Logic.datatype array -> ('a, 'f) Logic.datatype -> ('a, 'f) Logic.datatype
val basename : Logic.sort -> string
val pretty : Format.formatter -> Logic.sort -> unit
val pp_tau : (Format.formatter -> int -> unit) -> (Format.formatter -> 'f -> unit) -> (Format.formatter -> 'a -> unit) -> Format.formatter -> ('f, 'a) Logic.datatype -> unit
val pp_data : (Format.formatter -> 'a -> unit) -> (Format.formatter -> 'b -> unit) -> Format.formatter -> 'a -> 'b list -> unit
val pp_record : (Format.formatter -> 'f -> unit) -> (Format.formatter -> 'b -> unit) -> Format.formatter -> ?opened:bool -> ('f * 'b) list -> unit
val eq_tau : ('f -> 'f -> bool) -> ('a -> 'a -> bool) -> ('f, 'a) Logic.datatype -> ('f, 'a) Logic.datatype -> bool
val compare_tau : ('f -> 'f -> int) -> ('a -> 'a -> int) -> ('f, 'a) Logic.datatype -> ('f, 'a) Logic.datatype -> int
module MakeTau (F : Logic.Field) (A : Logic.Data) : Logic.Data with type t = (F.t, A.t) Logic.datatype
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct