package patoline

  1. Overview
  2. Docs
package patoline
Legend:
Library
Module
Module type
Parameter
Class
Class type

Signature of a module containing only one element of type u C.t, for a module C : CustomT. The type u will actually be constrained to math list when it is defined... See the constructor Custom below.

module C : CustomT
type u
val content : u C.t