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