package lrgrep

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

Module IndexSet.CoerceSumSource

Parameters

Signature

Sourceval coerce : X.n t -> (X.n, Y.n) Fix.Indexing.Sum.n t