Module type Domain_sig.With_Types

module Context : Context
type binary
val binary_unknown_typed : size:int -> Context.t -> Types.Ctypes.typ -> binary

Returns an unknown value with a given type.