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 complex_row_vector : (float * float) list -> Typed.t
val complex_vector : (float * float) list -> Typed.t
val loop_bottom : Typed.t
val internal_funapp :
'a Fixed.t Internal_fun.t ->
'a Fixed.t list ->
'a ->
'a Fixed.t
val contains_fn_kind :
('a Fixed.t Fun_kind.t -> bool) ->
?init:bool ->
'a Fixed.t ->
bool
val infer_type_of_indexed : UnsizedType.t -> 'a Index.t list -> UnsizedType.t