package herdtools7

  1. Overview
  2. Docs

Signature module of the backend of Interpreter.

module type S = sig ... end

This module is the signature of any backend of the ASL interpreter.

OCaml

Innovation. Community. Security.