package TCSLib
-
TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val init : tval enter : t -> string -> unitval leave : t -> string -> unitval format : t -> stringval profile1 : t -> string -> ('a -> 'b) -> 'a -> 'bval profile2 : t -> string -> ('a -> 'b -> 'c) -> 'a -> 'b -> 'cval profile3 : t -> string -> ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> 'c -> 'dval profile4 :
t ->
string ->
('a -> 'b -> 'c -> 'd -> 'e) ->
'a ->
'b ->
'c ->
'd ->
'eval profile5 :
t ->
string ->
('a -> 'b -> 'c -> 'd -> 'e -> 'f) ->
'a ->
'b ->
'c ->
'd ->
'e ->
'f