Documentation

type DataSpec = Map Reference (Either Cons Cons) Source #

splitPatterns :: Var v => DataSpec -> Term v -> Term v Source #

builtinDataSpec :: DataSpec Source #