package tezos-benchmark

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

Module Costlang.Eval_linear_combination_implSource

include S
Sourcetype 'a repr
Sourcetype size
Sourceval true_ : bool repr
Sourceval false_ : bool repr
Sourceval int : int -> size repr
Sourceval float : float -> size repr
Sourceval (+) : size repr -> size repr -> size repr
Sourceval sat_sub : size repr -> size repr -> size repr
Sourceval (*) : size repr -> size repr -> size repr
Sourceval (/) : size repr -> size repr -> size repr
Sourceval max : size repr -> size repr -> size repr
Sourceval min : size repr -> size repr -> size repr
Sourceval log2 : size repr -> size repr
Sourceval sqrt : size repr -> size repr
Sourceval free : name:Free_variable.t -> size repr
Sourceval lt : size repr -> size repr -> bool repr
Sourceval eq : size repr -> size repr -> bool repr
Sourceval shift_left : size repr -> int -> size repr
Sourceval shift_right : size repr -> int -> size repr
Sourceval lam : name:string -> ('a repr -> 'b repr) -> ('a -> 'b) repr
Sourceval app : ('a -> 'b) repr -> 'a repr -> 'b repr
Sourceval let_ : name:string -> 'a repr -> ('a repr -> 'b repr) -> 'b repr
Sourceval if_ : bool repr -> 'a repr -> 'a repr -> 'a repr
Sourceval run : subst -> size repr -> affine