Module Mapper.Equation

module Equation: sig .. end

val map : Mapper.mapper ->
       Syntax.equation_desc Syntax.commented ->
       Syntax.equation_desc Syntax.commented