package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Sub-signature of S.

  • before 26.0-Iron

    there was several additional values only used for Journalization that has been removed.

val structural_descr : Structural_descr.t
val equal : 'a -> 'a -> bool
val compare : 'a -> 'a -> int
val hash : 'a -> int
val rehash : 'a -> 'a
val copy : 'a -> 'a
val pretty : Format.formatter -> 'a -> unit
val mem_project : (Project_skeleton.t -> bool) -> 'a -> bool
OCaml

Innovation. Community. Security.