Module IR__Procname.Block
type t={name : block_name;parameters : Parameter.clang_parameter list;}
val make : block_name -> Parameter.clang_parameter list -> t
IR__Procname.Blocktype t = {name : block_name; |
parameters : Parameter.clang_parameter list; |
}val make : block_name -> Parameter.clang_parameter list -> t