package datakit-ci
-
datakit-ci
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package datakit-ci
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A cache for values computed (slowly) by terms.
module Path : sig ... endmodule Make (B : CI_s.BUILDER) : sig ... endval read_log : CI_utils.DK.t -> CI_output.saved -> string CI_utils.DK.resultread_log dk log is the contents of the saved log log.