Documentation

appendSSymbol :: SSymbol a -> SSymbol b -> SSymbol (AppendSymbol a b) Source #

consSSymbol :: SChar a -> SSymbol b -> SSymbol (ConsSymbol a b) Source #

sCharToSNat :: SChar a -> SNat (CharToNat a) Source #

sNatToSChar :: n <= 1114111 => SNat n -> SChar (NatToChar n) Source #