package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val name : string
type params
type response
val params_of_yojson : Yojson.Safe.t -> (params, string) Batteries.result
val response_to_yojson : response -> Yojson.Safe.t
val process : params -> t -> response