package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
module R = Str
module L = Stdlib.List
module H = Stdlib.Hashtbl
val preparse : string -> (string, string list) H.t
val errorWrap : string -> (string -> 'a) -> 'b
val getNthString : int -> ('a, 'b list) H.t -> 'c -> 'd
val getNthInt : int -> (string, string list) H.t -> string -> int
val getNthBool : int -> (string, string list) H.t -> string -> bool
val getBool : (string, string list) H.t -> string -> bool
val getInt : (string, string list) H.t -> string -> int
val getSizeof : (string, string list) H.t -> string -> int
val getAlignof : (string, string list) H.t -> string -> int
val respace : string -> string
val modelParse : string -> Machdep.mach