Searched defs:cons (Results 26 - 50 of 57) sorted by relevance

123

/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Dbase.sig12 val cons : '_a * '_a stream -> '_a stream value
/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/
H A Dbasics.sml62 fun cons h t = h::t function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DStream.sml37 fun cons h t = Cons (h,t); function
H A DUseful.sig110 val cons : 'a -> 'a list -> 'a list value
H A DUseful.sml186 fun cons x y = x :: y; function
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/
H A Dbase.sig12 val cons : '_a * '_a stream -> '_a stream value
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DUseful.sig125 val cons : 'a -> 'a list -> 'a list value
H A DUseful.sml203 fun cons x y = x :: y; function
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/
H A DConsThms.sml480 val (cons, _) = decompose (lhs appl_cons_eq, []) value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibUseful.sig59 val cons : 'a -> 'a list -> 'a list value
H A DmlibUseful.sml159 fun cons x y = x :: y; function
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLib.sig42 val cons : 'a -> 'a list -> 'a list value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DDEBUGGER_.sml295 val cons = tsConstr tc value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sig110 val cons : 'a -> 'a list -> 'a list value
H A DUseful.sml186 fun cons x y = x :: y; function
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dcone-of-influence.lisp[all...]
H A Dcircuits.lisp[all...]
H A Dsummary.lisp[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DImport.sml331 val cons = Term.inst [Type.alpha |-> ty] listSyntax.cons_tm value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig23 val cons : 'a -> 'a list -> 'a list value
H A DPortable.sml60 fun cons a L = a :: L function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DextendTranslateScript.sml1181 ite (zp n) ac (acl2_make_list_ac (add (int ~1) n) val (cons val ac))`, value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DTYPECHECK_PARSETREE.sml2015 val cons = value
/seL4-l4v-10.1.1/HOL4/examples/diningcryptos/
H A DformalizeUseful.sig105 val cons : 'a -> 'a list -> 'a list value
H A DsubtypeUseful.sig105 val cons : 'a -> 'a list -> 'a list value

Completed in 238 milliseconds

123