Module Single_value_abstraction.Dummy

Code when you need new transfer functions that fail when they are called. Start here when you implement a new single-value abstraction.

module Make (UnimplementedId : sig ... end) : sig ... end