Instruct.Make
Create evaluation instructions for a given language implementation.
module I : SEM
val eval : I.import Compile.t -> (I.External.t -> (string, Error.t list) Stdlib.result I.promise) I.obs
Evaluate a template with the language implemented by I.
I