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

include AtomSig.S