package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
type resource_type =
  1. | Thread
  2. | Function
val show_resource_type : resource_type -> Ppx_deriving_runtime.string
type resource_name = string
val make : resource_type -> resource_name -> t
val res_type : ('a * 'b) -> 'a
val res_name : ('a * 'b) -> 'b
val show : (resource_type * string) -> string