Syntax.Basic
val alloc_not_null : ?desc:string -> Pulselib.PulseBasicInterface.Attribute.allocator -> IR.Exp.t option -> initialize:bool -> unit model_monad