Module Extend.MakeForAADT

Parameters

module D : Memory_sig.AADT_WITH_BOOLEAN

Signature

val imperative_assume : D.Scalar.Context.t -> D.boolean -> unit