package dolmen

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val const : ty -> t -> t

const index_ty base creates a constant array that maps any value of type index_ty to the value base.

val select : t -> t -> t

Array selection.

val store : t -> t -> t -> t

Array store.