package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
val lattice : 'a t -> (module Lattice.S with type t = 'a)
val bot : 'a t -> 'a result

Get bottom result for query.

val top : 'a t -> 'a result

Get top result for query.