Up – Package index » comby-kernel » Library comby-kernel.language » Language » Rule

Module `Language.Rule`Source

include module type of Types

Sourcetype t = Ast.t

Sourcetype result = bool * Match.environment option

Sourcetype options = Options.t

Sourcemodule type Engine = sig ... end

Sourcemodule Alpha : Engine

Sourcemodule Omega : Engine