]> andersk Git - splint.git/blob - src/Headers/lslOp.h
Initial revision
[splint.git] / src / Headers / lslOp.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3 ** See ../LICENSE for license information.
4 **
5 */
6
7 typedef struct _lslOp {
8   /*@null@*/ /*@only@*/ nameNode name;
9   /*@dependent@*/ sigNode signature; /* optional */
10 } *lslOp;
11
12 typedef /*@only@*/ lslOp o_lslOp;
13
14 extern void lslOp_free (/*@only@*/ lslOp p_x);
15 extern /*@only@*/ lslOp lslOp_copy (lslOp);
This page took 0.293646 seconds and 5 git commands to generate.