Expr.List
val lengths : t -> t
val slice : t -> offset:t -> length:t -> t
val head : t -> n:t -> t
val tail : t -> n:t -> t
val sum : t -> t
val eval : ?parallel:bool -> t -> expr:t -> t