Documentation

type Star a n = Star2 a n Value Source #

type Value = TermReference Source #

insert :: (Ord a, Ord n) => (a, Value) -> Star a n -> Star a n Source #

delete :: (Ord a, Ord n) => (a, Value) -> Star a n -> Star a n Source #