Module Rune_jit.Shape_exprSource

Sourcemodule Var : sig ... end
Sourcetype expr =
  1. | Const of int
  2. | Var of Var.t
  3. | Add of expr * expr
  4. | Mul of expr * expr
  5. | Neg of expr
Sourcetype shape = expr array
Sourceval const : int -> expr
Sourceval var : Var.t -> expr
Sourceval add : expr -> expr -> expr
Sourceval mul : expr -> expr -> expr
Sourceval neg : expr -> expr
Sourceval of_int_array : int array -> expr array
Sourceval to_string_expr : expr -> string
Sourceval to_string : expr array -> string
Sourceval eval_expr : (int * int) list -> expr -> int option
Sourceval eval : (int * int) list -> expr array -> int option array
Sourceval to_int_array_exn : (int * int) list -> expr array -> int array
Sourceval map : ('a -> 'b) -> 'a array -> 'b array
Sourceval map2 : ('a -> 'b -> 'c) -> 'a array -> 'b array -> 'c array
Sourceval fold : ('a -> 'b -> 'a) -> 'a -> 'b array -> 'a
Sourceval upper_bound_expr : expr -> int
Sourceval upper_bounds : expr array -> int array