FSTAR_HOME=../..
include ../Makefile.include

all: uall

uall: BinaryTrees.uver bst RBTree.uver BinaryTreesEnumeration.uver MerkleTree.uver Lens.uver StatefulLens.uver ArrayRealized.uver Vector.uver

bst: BinarySearchTree.uver BinarySearchTree0.uver BinarySearchTreeBasic.uver BinarySearchTreeFirst.uver
