sig
  val map_binary : Mapper.mapper -> Syntax.binary_exp -> Syntax.binary_exp
  val map : Mapper.mapper -> Syntax.exp -> Syntax.exp
end