package tezos-benchmark

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

include S with type size = Eval_linear_combination_impl.size

type 'a repr

type size = Eval_linear_combination_impl.size

val size_ty : size 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 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 Eval_linear_combination_impl.repr