package goblint

  1. Overview
  2. Docs
On This Page
  1. Domains
    1. General
Legend:
Library
Module
Module type
Parameter
Class
Class type

Library goblint.domain

This library is unwrapped and provides the following top-level modules. For better context, see Goblint_lib which also documents these modules.

Domains

  • Lattice Signature for lattices. Functors for common lattices.

General

OCaml

Innovation. Community. Security.