package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val context_to_yojson : ControlSpecC.t -> [> `Assoc of (string * [> `Int of int ]) list ]
type t = {
  1. loc : Location.t option;
  2. text : string;
  3. context : ControlSpecC.t option;
}
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val hash : t -> int
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val text_with_context : t -> string
OCaml

Innovation. Community. Security.