Documentation

predToSSymbol :: Sign f e -> PRED_SYMB -> SExpr Source #

predIdToSSymbol :: Sign f e -> Id -> PredType -> SExpr Source #

opToSSymbol :: Sign f e -> OP_SYMB -> SExpr Source #

opIdToSSymbol :: Sign f e -> Id -> OpType -> SExpr Source #

sortToSSymbol :: Id -> SExpr Source #

varToSSymbol :: Token -> SExpr Source #

varDeclToSExpr :: (VAR, SORT) -> SExpr Source #

sfail :: String -> Range -> a Source #

sRec :: GetRange f => Sign a e -> (f -> SExpr) -> Record f SExpr SExpr Source #

signToSExprs :: Sign a e -> [SExpr] Source #

sortSignToSExprs :: Sign a e -> SExpr Source #

predMapToSExprs :: Sign a e -> PredMap -> [SExpr] Source #

opMapToSExprs :: Sign a e -> OpMap -> [SExpr] Source #

morToSExprs :: Morphism f e m -> [SExpr] Source #