package herdtools7

You can search for identifiers within the package.

in-package search v0.2.0

Module `Asllib.Backend`

Signature module of the backend of Interpreter.

module type SCOPE = sig ... end

module type S = sig ... end

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