package dolmen

  1. Overview
  2. Docs
package dolmen
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.