Frama-C:
Plug-ins:
Libraries:

Frama-C API - Fun

Extension of OCaml's Stdlib.Fun module.

  • since Frama-C+dev
include module type of Stdlib.Fun
val id : 'a -> 'a
val const : 'a -> 'b -> 'a
val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
val negate : ('a -> bool) -> 'a -> bool
val protect : finally:(unit -> unit) -> (unit -> 'a) -> 'a
exception Finally_raised of exn
val compose : ('b -> 'c) -> ('a -> 'b) -> 'a -> 'c

Same as Stdlib.Fun.compose but made available here until the minimal supported version is OCaml 5.2.

val uncurry2 : ('a -> 'b -> 'c) -> ('a * 'b) -> 'c

Uncurry a function of arity-2

module Operators : sig ... end