Module Mapper.Equation_Desc

module Equation_Desc: sig .. end

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