Zero

The type of things with zero size.

copy

instantiate

(Fn [(Ref Zero a)] Zero)

copies a Zero.

delete

instantiate

(Fn [Zero] ())

deletes a Zero. This should usually not be called manually.

empty?

defn

(Fn [(Ref (Vector Zero a) b)] Bool) 

                    (empty? v)

get-tag

instantiate

(Fn [(Ref Zero a)] Int)

Gets the tag from a Zero.

len

defn

(Fn [(Ref (Vector Zero a) b)] Int) 

                    (len v)

prn

instantiate

(Fn [(Ref Zero a)] String)

converts a Zero to a string.

replicate

defn

(Fn [a] (Vector Zero a)) 

                    (replicate x)

str

instantiate

(Fn [(Ref Zero a)] String)

converts a Zero to a string.