Searched refs:fld2 (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver432.c13 char fld2; member in struct:__anon79
24 return global1.fld2;
H A Dstruct_globals.c13 int fld2; member in struct:s
H A Dstruct_ptr_globals.c13 int *fld2; member in struct:s
H A Dbugzilla213.c12 typedef struct { int fld1, fld2; } tcb_t; member in struct:__anon74
H A Dparse_struct.c14 char fld2; member in struct:struct1
58 s.s.fld2 = i + 5;
/seL4-l4v-10.1.1/HOL4/src/TeX/theory_tests/
H A Ddupop20171208aScript.sml5 val _ = Datatype `testtype = <| fld1 : 'a ; fld2 : num -> bool |>`;
H A DmdtScript.sml29 val _ = Datatype`testrcd = <| fld1 : bool ; fld2 : 'a -> num |>`;
/seL4-l4v-10.1.1/HOL4/src/datatype/theory_tests/
H A DrecordEnumSimpsBScript.sml20 ���(r with fld1 := 3).fld2 = r.fld2���,
H A DrecordEnumSimpsAScript.sml14 val _ = Datatype���Record = <| fld1 : num ; fld2 : 'a -> num |>���;
29 ���(r with fld1 := 3).fld2 = r.fld2���,
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A Dselftest.sml112 small_record = <| fld1 : num -> bool ; fld2 : num |>
276 ("field selection", ``r.fld2``, "r.fld2"),
280 ("multi-field update", ``r with <| fld2 := 3; fld1 := x |>``,
281 "r with <|fld2 := 3; fld1 := x|>"),
323 fld2 := also a long expression|>``,
325 \ fld2 := also a long expression|>")
H A DDatatype.sml542 rcdty = <| fld1 : ty1 ; fld2 : ty2 ; ... fldmax : tymax |>
545 subrec1_ty = <| fld1 : ty1 ; fld2 : ty2 ; ... |> ;
/seL4-l4v-10.1.1/HOL4/src/datatype/record/
H A DRecordType.sml304 (r with fld1 updated by val).fld2 = r.fld2
422 !r1 r2. (r1 = r2) = (r1.fld1 = r2.fld1) /\ (r1.fld2 = r2.fld2)
451 r1 with <| fld1 := v1 ; fld2 := v2 |> =
452 <| fld1 := v1; fld2 := v2 |>
457 !r. ?v1 v2 v3. r = <| fld1 := v1; fld2 := v2; fld3 := v3 |>
461 (!v1 v2 v3. P <| fld1 := v1; fld2 := v2; fld3 := v3 |>)
466 (<| fld1 := v11; fld2 := v21; fld3 := v31 |> =
467 <| fld1 := v12; fld2
[all...]
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dselftest.sml611 val expected3 = [("ty", Record [("fld1", vbool), ("fld2", vbool -=> vbool)])]
624 ("h", "ty = <| fld1 : bool ; fld2 : bool -> bool |>;", expected3),
625 ("h", "ty = <| fld1 : bool ; fld2 : bool -> bool; |>;", expected3),
626 ("h", "ty= <|fld1:bool;fld2:bool->bool; |>;", expected3),
631 ("h", "ty= <|fld1:bool;fld2:bool->bool; |>;ty2=N|C 'a ty",

Completed in 298 milliseconds