Module GoblintCil.MachdepenvSource
Sourceval preparse : string -> (string, string list) H.t Sourceval errorWrap : string -> (string -> 'a) -> 'a Sourceval getNthString : int -> ('a, 'b list) H.t -> 'a -> 'b Sourceval getNthInt : int -> (string, string list) H.t -> string -> int Sourceval getNthBool : int -> (string, string list) H.t -> string -> bool Sourceval getBool : (string, string list) H.t -> string -> bool Sourceval getInt : (string, string list) H.t -> string -> int Sourceval getSizeof : (string, string list) H.t -> string -> int Sourceval getAlignof : (string, string list) H.t -> string -> int Sourceval respace : string -> string