Type Alias ModuleLogic<Sh, R, E>

ModuleLogic: a logic program that runs on a specific class of Module.

• Convention: Env is Logic.Env<Sh, R>.
• The return value is treated as void; errors and dependencies are expressed via E/R.