package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val show : GoblintCil.Pretty.doc -> string
val sprint : (unit -> 'a -> GoblintCil.Pretty.doc) -> 'a -> string
val sprintf : ('a, unit, GoblintCil.Pretty.doc, string) Stdlib.format4 -> 'a
val igprintf : 'b -> ('a, unit, GoblintCil.Pretty.doc, 'b) Stdlib.format4 -> 'a
OCaml

Innovation. Community. Security.