package tezos-benchmark

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

tezos-benchmark
- Tezos_benchmark
  - Ast
    
    Ast
    
    At_least_10
    
    X
    
    Make
    
    Size
    
    Optimize
    
    X
    
    S
    
    To_ast
    
    Ast
    
    Transform
    
    F
    
    Ast
    
    X
  - Base_samplers
    
    Adversarial
  - Benchmark
    
    Benchmark_base
    
    S
    
    Simple
    
    Simple_with_num
  - Benchmark_helpers
  - Builtin_benchmarks
    
    Timer_latency_bench
  - Builtin_models
  - Codegen
    
    Parser
  - Config
  - Costlang
    
    Arg_names
    
    Beta_normalize
    
    X
    
    Eval
    
    Eval_linear_combination_impl
    
    Eval_to_vector
    
    Fold_constants
    
    X
    
    Free_variables
    
    Hash_cons
    
    X
    
    Hash_cons_vector
    
    Identity
    
    X
    
    Let_lift
    
    X
    
    Num
    
    Pp
    
    S
    
    Subst
    
    P
    
    X
    
    Transform
    
    X
    
    Ty
    
    Type
    
    Void
  - Crypto_samplers
    
    Finite_key_pool_S
    
    Make_finite_key_pool
    
    Arg
    
    P_Finite_key_pool_S
    
    Param_S
    
    V0
    
    Finite_key_pool_S
    
    Make_finite_key_pool
    
    Arg
    
    V1
    
    Finite_key_pool_S
    
    Make_finite_key_pool
    
    Arg
    
    V_latest
    
    Finite_key_pool_S
    
    Make_finite_key_pool
    
    Arg
  - Csv
  - Dep_graph
    
    Graph
    
    Graphviz
    
    Solver
    
    Solved
    
    Unsolved
  - Fixed_point_transform
    
    Apply
    
    P
    
    X
  - Free_variable
    
    Map
    
    Set
    
    Sparse_vec
    
    Op
    
    Table
  - Generator
    
    S
  - Inference
    
    NMap
  - Maths
  - Measure
    
    Time
  - Model
    
    Applied
    
    X
    
    Binary_operation
    
    Def
    
    X
    
    Instantiate
    
    M
    
    Def
    
    X
    
    X
    
    Instantiated
    
    Model_impl
    
    Def
    
    X
  - Namespace
    
    Hashtbl
    
    Map
    
    Set
  - Ocamlformat
  - Override
  - Plot
    
    Bar
    
    Color
    
    Data
    
    Fill
    
    Histogram
    
    Line
    
    Pointtype
    
    Scatter
    
    Style
    
    Tics
  - Pyinference
    
    LinearModel
  - Pyinit
  - Pytools
  - Registration
  - Scikit_matrix
  - Sparse_vec
    
    Make
    
    M
    
    Op
    
    S
    
    Op
    
    String
    
    Op
  - Structure_samplers

Legend:
Library
Module
Module type
Parameter
Class
Class type

A Costlang transformer for various code optimizations

Parameters

module X : Costlang.S

Signature

include Costlang.S with type size = X.size

type 'a repr

type size = X.size

val size_ty : size Costlang.Ty.t

Runtime type for size

val true_ : bool repr

val false_ : bool repr

val int : int -> size repr

val float : float -> size repr

val (+) : size repr -> size repr -> size repr

val sat_sub : size repr -> size repr -> size repr

val (*) : size repr -> size repr -> size repr

val (/) : size repr -> size repr -> size repr

val max : size repr -> size repr -> size repr

val min : size repr -> size repr -> size repr

val log2 : size repr -> size repr

val sqrt : size repr -> size repr

val free : name:Free_variable.t -> size repr

val lt : size repr -> size repr -> bool repr

val eq : size repr -> size repr -> bool repr

val shift_left : size repr -> int -> size repr

val shift_right : size repr -> int -> size repr

val lam' : 
  name:string ->
  'a Costlang.Ty.t ->
  ('a repr -> 'b repr) ->
  ('a -> 'b) repr

val lam : name:string -> (size repr -> 'a repr) -> (size -> 'a) repr

Instantiation of lam' for size repr argument

val app : ('a -> 'b) repr -> 'a repr -> 'b repr

val let_ : name:string -> 'a repr -> ('a repr -> 'b repr) -> 'b repr

val if_ : bool repr -> size repr -> size repr -> size repr

val prj : 'a repr -> 'a X.repr