package dolmen

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

A module for array constant symbols that occur in terms.

val const : t

Array selection.

val select : t

Array selection.

val store : t

Array store.

OCaml

Innovation. Community. Security.