package TCSLib

  1. Overview
  2. Docs
package TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a field = 'a * 'a * ('a -> 'a -> 'a) * ('a -> 'a) * ('a -> 'a -> 'a) * ('a -> 'a -> 'a) * ('a -> 'a) * ('a -> 'a -> 'a) * ('a -> int -> 'a) * ('a -> 'a -> int) * (int -> int -> 'a)
val float_field : float field
val rational_field : rational field