package herdtools7

  1. Overview
  2. Docs
type v

Stored elements of the environment.

val unroll : int

unroll is the number of time a loop can be unrolled.

OCaml

Innovation. Community. Security.