package octez-plonk

  1. Overview
  2. Docs
package octez-plonk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Helpers.TimeSource

Sourcetype data = {
  1. n : int;
  2. sum : float;
  3. sum_squares : float;
  4. last : float;
}
Sourceval str_time : string ref
Sourceval zero_data : data
Sourceval setup : data ref
Sourceval prove : data ref
Sourceval verify : data ref
Sourceval reset : unit -> unit
Sourceval update : data ref -> float -> unit
Sourceval mean : data ref -> float
Sourceval var : data ref -> float
Sourceval std : data ref -> float
Sourceval string_of_time : float -> string
Sourceval time : string -> (unit -> 'a) -> 'a
Sourceval reset_str : unit -> unit
Sourceval update_str : ?header:string -> unit -> unit
Sourceval print_time_in_file : string -> unit
Sourceval bench_test_circuit : nb_rep:int -> (unit -> 'a) -> unit -> unit
Sourceval time_if_verbose : bool -> string -> (unit -> 'a) -> 'a
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct