Module Expr.Helpers

val int : int -> Typed.t
val float : float -> Typed.t
val complex : (float * float) -> Typed.t
val str : string -> Typed.t
val variable : string -> Typed.t
val zero : Typed.t
val one : Typed.t
val unary_op : Operator.t -> Typed.t -> Typed.t
val binop : Typed.t -> Operator.t -> Typed.t -> Typed.t
val binop_list : Typed.t list -> Operator.t -> default:Typed.t -> Typed.t
val row_vector : float list -> Typed.t
val vector : float list -> Typed.t
val matrix : float list list -> Typed.t
val matrix_from_rows : Typed.t list -> Typed.t
val complex_row_vector : (float * float) list -> Typed.t
val complex_vector : (float * float) list -> Typed.t
val complex_matrix_from_rows : Typed.t list -> Typed.t
val array_expr : Typed.t list -> Typed.t
val tuple_expr : Typed.t list -> Typed.t
val try_unpack : Typed.t -> Typed.t list option
val loop_bottom : Typed.t
val internal_funapp : 'a t Internal_fun.t -> 'a t list -> 'a -> 'a t
val contains_fn_kind : ('a t Fun_kind.t -> bool) -> ?init:bool -> 'a t -> bool
val infer_type_of_indexed : UnsizedType.t -> 'a Index.t list -> UnsizedType.t
val add_int_index : Typed.t -> Typed.t Index.t -> Typed.t
val add_tuple_index : Typed.t -> int -> Typed.t
val collect_indices : 'a t -> 'a t Index.t list