package rocq-runtime

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

Module type Diff2.SeqTypeSource

Input signature of Diff.Make.

Sourcetype t

The type of the sequence.

Sourcetype elem

The type of the elements of the sequence.

Sourceval get : t -> int -> elem

get t n returns n-th element of the sequence t.

Sourceval length : t -> int

length t returns the length of the sequence t.

OCaml

Innovation. Community. Security.