package frama-c

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

Module Lang.NSource

simpler notation for writing F.term and F.pred

Sourceval (+) : F.binop

F.p_add

Sourceval (-) : F.binop

F.p_sub

Sourceval (~-:) : F.unop

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

Sourceval (*) : F.binop

F.p_mul

Sourceval (/) : F.binop

F.p_div

Sourceval (mod) : F.binop

F.p_mod

Sourceval (=) : F.cmp

F.p_equal

Sourceval (<) : F.cmp

F.p_lt

Sourceval (>) : F.cmp

F.p_lt with inversed argument

Sourceval (<=) : F.cmp

F.p_leq

Sourceval (>=) : F.cmp

F.p_leq with inversed argument

Sourceval (<>) : F.cmp

F.p_neq

Sourceval (==>) : F.operator

F.p_imply

Sourceval (&&:) : F.operator

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

Sourceval (||:) : F.operator

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

Sourceval not : F.pred -> F.pred

F.p_not

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

F.e_fun

Sourceval ($$) : 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