Module type Memory_sig.AADT

An Abstract Abstract Datatype (AADT) is just a data structure that can contains symbolic values constrainted by a base domain, named Scalar.

module Scalar : Sig.BASE