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