package ppx_type_directed_value

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

Module Indexed_seq.Length_at_least_twoSource

Parameters

module M : Base.T1

Signature

Sourcetype ('a, 'length) t = ('a, 'length Type_nat.succ Type_nat.succ) Any_length(M).t