Searched refs:operator (Results 1 - 6 of 6) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
| H A D | stage3.py | 560 for operator, op in pairwise(ops[1:]):
562 if operator.head == 'add':
564 elif operator.head == 'band':
566 elif operator.head == 'bor':
568 elif operator.head == 'div':
576 elif operator.head == 'eq':
578 elif operator.head == 'gt':
580 elif operator.head == 'gte':
582 elif operator.head == 'land':
584 elif operator
[all...] |
| /seL4-camkes-master/kernel/manual/tools/ |
| H A D | gen_invocations.py | 16 import operator namespace
|
| /seL4-camkes-master/tools/cogent/cogent/manual/ |
| H A D | cogent-manual.tex | 739 The type system is expanded by introducing the unbox type operator \code{\#}. For boxed types it produces
740 an unboxed version. By applying the unbox type operator to all record types and abstract types
743 The operator \code{\#} is applied to a type expression as a prefix. To simplify the syntax it is allowed to
755 By putting an arbitrary \textit{MonoType} in parentheses, the unbox operator can be applied to it, as in \code{\#(Array U8)}.
757 If the unbox operator is applied to an \textit{AtomType} which is already unboxed, it has no effect. Hence, the type
761 When applied to a record, the unbox operator affects only the record itself, not its fields. Hence, an unboxed
763 applying the unbox operator are
768 the unbox operator is applied.
814 When applied to a type R the operator \code{take (v,w)} produces the record type where at least fields
817 then applying the take operator i
[all...] |
| /seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 40 import operator namespace
934 comment_lines = reduce(operator.add, [l.split("\n") for l in comment_lines], [])
|
| /seL4-camkes-master/kernel/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 40 import operator namespace
934 comment_lines = reduce(operator.add, [l.split("\n") for l in comment_lines], [])
|
| /seL4-camkes-master/tools/cogent/cogent/doc/ |
| H A D | doc.tex | 141 & e_b' & & \hspace{-2em} \cmt{\textit{operator precedence descending}} \\
576 If the record has a synonyms, then the operator can be put either at definition site
613 In order to temporarily turn it into a shareable one, we use \code{!} operator, which is introduced later in Section~\ref{ssec:letbang}.
643 The dual operation of take (the one in expressions) is, as you might have guessed, put. Note that the type operator
741 object into a read-only one. The essence is to use \code{!} (read: bang) operator to create a
|
Completed in 47 milliseconds