Module CodeSemantics

module CodeSemantics: sig .. end
None means equal to zero/null

module Make: 
functor (M : Memory.Model) -> sig .. end