Module Cmm_peephole_engine.Syntax

val (=>) : cmm_pattern -> (Env.t -> 'a) -> 'a clause

Constructor for clauses: lhs => rhs

val (#.) : Env.t -> 'a pattern_var -> 'a

Environment accessor: env#.var