package mc2

  1. Overview
  2. Docs

Uninterpreted Functions and Constants

Service for applying a constant to some arguments. Arguments are:

  • The head function symbol
  • the list of arguments

Service for turning a constant into a term

Service for declaring an uninterpreted symbol

OCaml

Innovation. Community. Security.