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.