Lines Matching defs:def
151 val def = Define `f (x1:word32) = if (x1 = 0w) then x1 else (x1+1w)`
152 val def = Define `f (x1:word32) = if (x1 < 0w) then x1 else (x1+1w)`
153 val def = Define `f (x1:word32) = if (x1 <= 0w) then x1 else (x1+1w)`
154 val def = Define `f (x1:word32) = if (x1 <+ 0w) then x1 else (x1+1w)`
155 val def = Define `f (x1:word32) = if (x1 <=+ 0w) then x1 else (x1+1w)`
156 val def = Define `f (x1:word32) = if ($> x1 0w) then x1 else (x1+1w)`
157 val def = Define `f (x1:word32) = if (x1 >= 0w) then x1 else (x1+1w)`
158 val def = Define `f (x1:word32) = if (x1 >+ 0w) then x1 else (x1+1w)`
159 val def = Define `f (x1:word32) = if (x1 >=+ 0w) then x1 else (x1+1w)`
161 val spec = pp_compile def true;
168 val def = Define `
171 val spec = pp_compile def true;