package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Result.Exceptionless

val find : 'a H.t -> MyCFG.node -> 'a option
val modify : MyCFG.node -> ('a -> 'a) -> 'a H.t -> (unit, exn) BatPervasives.result