B AST Function Descriptions