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