Module Language.RuleSource

include module type of Types
Sourcetype t = Ast.t
Sourcetype result = bool * Match.environment option
Sourcetype options = Options.t
Sourcemodule type Engine = sig ... end