Function segment_tree_ty 

pub fn segment_tree_ty() -> Expr

SegmentTree α n : Type 0 — segment tree over an array of size n.

Takes an element type and a size (Nat) and returns the segment tree type.