(* Pasted from Pottier's PP compiler *)

(** This module implements the signature [AtomSig.S]. *)

include AtomSig.S