comby-kernel.language
Rule.Alpha
comby-kernel
comby-kernel.match
comby-kernel.matchers
comby-kernel.parsers
comby-kernel.replacement
comby-kernel.rewriter
val options : t -> Options.t
val sat : result -> bool
val result_env : result -> Match.environment option
val create : string -> t Core_kernel.Or_error.t
val apply : ?matcher:(module Matchers.Matcher.S) -> ?substitute_in_place:bool -> ?fresh:(unit -> string) -> t -> Match.environment -> result