Searched defs:sequence (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DPrint.sig25 val sequence : ppstream -> ppstream -> ppstream value
H A DPrint.sml189 fun sequence pp1 pp2 : ppstream = Stream.append pp1 (K pp2); function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DPrint.sig25 val sequence : ppstream -> ppstream -> ppstream value
H A DPrint.sml189 fun sequence pp1 pp2 : ppstream = Stream.append pp1 (K pp2); function

Completed in 91 milliseconds