package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
val define : string -> (('a e * 'a e * ('a e -> unit e) * unit e) var, ('a e * 'a e * ('a e -> unit e) * unit e) var, ('a e * 'a e * ('a e -> unit e) * unit e) var, ('a e * 'a e * ('a e -> unit e) * unit e) var, ('a e * 'a e * ('a e -> unit e) * unit e) var, 'b) args -> unit * string
val _if : ('a * string) -> unit * string
val _endif : unit * string