package mc2

  1. Overview
  2. Docs

Uninterpreted Functions and Types

val k_decl_sort : (Mc2_core.ID.t -> int -> unit) Mc2_core.Service.Key.t

Declare a uninterpreted sort

Build an instance of an uninterpreted sort

Equality between terms of unintepreted sorts

OCaml

Innovation. Community. Security.