References

F heap(empty: *, max: *): {"empty": *, "from": *}

F indordseq(empty: *, key: *, size: *, measure: *): {"empty": *, "from": *}

F intervaltree(empty: *, M: *): {"empty": *, "from": *}

F ordseq(empty: *, key: *): {"empty": *, "from": *}

F seq(empty: *, size: *): {"empty": *, "from": *}