package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | Id of string
  2. | Key of string
  3. | Proof of string * string
  4. | Word
  5. | Eof
type input
val open_file : string -> input
val close : input -> unit
val skip : input -> unit
val token : input -> token
val error : input -> ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a
val key : input -> string -> bool
val eat : input -> string -> unit
val ident : input -> string
val idents : input -> string list
val filter : string -> string option
OCaml

Innovation. Community. Security.