package TCSLib

  1. Overview
  2. Docs
package TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a t
val make : 'a Comparators.comparator -> 'a Formators.formator -> 'a t
val compare : 'a t -> 'a Comparators.comparator
val format : 'a t -> 'a Formators.formator
val product : 'a t -> 'b t -> ('a * 'b) t
val option_domain : 'a t -> 'a option t