package herdtools7

  1. Overview
  2. Docs
val make : elt -> elt -> interval

make first last construct an interval describing all the elements from first to last inclusive.

val x : interval -> elt

the starting element of the interval

val y : interval -> elt

the ending element of the interval

OCaml

Innovation. Community. Security.