package TCSLib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a formator = 'a -> string
val def_int : int formator
val def_string : string formator
val def_bool : bool formator
val product : 'a formator -> 'b formator -> ('a * 'b) formator
val product3 : 'a formator -> 'b formator -> 'c formator -> ('a * 'b * 'c) formator
val option_format : string -> string -> 'a formator -> 'a option formator