package goblint

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

Module Result.Infix

val (-->) : 'a H.t -> MyCFG.node -> 'a
val (<--) : 'a H.t -> (MyCFG.node * 'a) -> unit