package dolmen

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

Module Dolmen_intf.TagSource

Interfaces for Tags. Tags are used to attach arbitrary information to ndoes in an ast.

Sourcemodule type S = sig ... end

Base signature for tags.

Sourcemodule type Ae_Base = sig ... end

Minium required signature for tags to typecheck Alt-Ergo's core/base theory.

Sourcemodule type Smtlib_Base = sig ... end

Minium required signature for tags to typecheck smtlib's core/base theory.

Sourcemodule type Zf_Base = sig ... end

Tags

OCaml

Innovation. Community. Security.