package frama-c

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

Module Wp.ScriptSource

Sourcetype token =
  1. | Id of string
  2. | Key of string
  3. | Proof of string * string
  4. | Word
  5. | Eof
Sourcetype input
Sourceval open_file : string -> input
Sourceval close : input -> unit
Sourceval skip : input -> unit
Sourceval token : input -> token
Sourceval error : input -> ('a, Format.formatter, unit, 'b) format4 -> 'a
Sourceval key : input -> string -> bool
Sourceval eat : input -> string -> unit
Sourceval ident : input -> string
Sourceval idents : input -> string list
Sourceval filter : string -> string option
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