package frama-c

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

simpler notation for writing F.term and F.pred

val (+) : F.binop

F.p_add

val (-) : F.binop

F.p_sub

val (~-:) : F.unop

fun x -> p_sub 0 x Beware that the operator does not have the same precedence as ~- in standard OCaml.

val (*) : F.binop

F.p_mul

val (/) : F.binop

F.p_div

val (mod) : F.binop

F.p_mod

val (=) : F.cmp

F.p_equal

val (<) : F.cmp

F.p_lt

val (>) : F.cmp

F.p_lt with inversed argument

val (<=) : F.cmp

F.p_leq

val (>=) : F.cmp

F.p_leq with inversed argument

val (<>) : F.cmp

F.p_neq

val (==>) : F.operator

F.p_imply

val (&&:) : F.operator

F.p_and Beware that the operator does not have the same precedence as && in standard OCaml.

val (||:) : F.operator

F.p_or Beware that the operator does not have the same precedence as || in standard OCaml.

val not : F.pred -> F.pred

F.p_not

val ($) : ?result:tau -> lfun -> F.term list -> F.term

F.e_fun

val ($$) : lfun -> F.term list -> F.pred

F.p_call

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