Up – Package index » Herdtools7 » Library herdtools7.asllib » Asllib » Interpreter

Module `Asllib.Interpreter`Source

Reference interpreter for ASL.

Sourcemodule type S = sig ... end

Sourcemodule type Config = sig ... end

Sourcemodule Make (B : Backend.S) (C : Config) : S with module B = B