General.External
Interface for executing external functions
module T = Engine.External.T
module Dummy = Engine.External.Dummy