package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include sig ... end
val log : Level.t -> ('a, BatteriesKind.b, BatteriesKind.c, unit) Stdlib.format4 -> 'a
val debug : ('a, BatteriesKind.b, BatteriesKind.c, unit) Stdlib.format4 -> 'a
val info : ('a, BatteriesKind.b, BatteriesKind.c, unit) Stdlib.format4 -> 'a
val warn : ('a, BatteriesKind.b, BatteriesKind.c, unit) Stdlib.format4 -> 'a
val error : ('a, BatteriesKind.b, BatteriesKind.c, unit) Stdlib.format4 -> 'a
val newline : unit -> unit
val result : ('a, BatteriesKind.b, BatteriesKind.c, unit) Stdlib.format4 -> 'a
OCaml

Innovation. Community. Security.