Searched refs:fld2 (Results 1 - 13 of 13) sorted by relevance
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | jiraver432.c | 13 char fld2; member in struct:__anon79 24 return global1.fld2;
|
H A D | struct_globals.c | 13 int fld2; member in struct:s
|
H A D | struct_ptr_globals.c | 13 int *fld2; member in struct:s
|
H A D | bugzilla213.c | 12 typedef struct { int fld1, fld2; } tcb_t; member in struct:__anon74
|
H A D | parse_struct.c | 14 char fld2; member in struct:struct1 58 s.s.fld2 = i + 5;
|
/seL4-l4v-10.1.1/HOL4/src/TeX/theory_tests/ |
H A D | dupop20171208aScript.sml | 5 val _ = Datatype `testtype = <| fld1 : 'a ; fld2 : num -> bool |>`;
|
H A D | mdtScript.sml | 29 val _ = Datatype`testrcd = <| fld1 : bool ; fld2 : 'a -> num |>`;
|
/seL4-l4v-10.1.1/HOL4/src/datatype/theory_tests/ |
H A D | recordEnumSimpsBScript.sml | 20 ���(r with fld1 := 3).fld2 = r.fld2���,
|
H A D | recordEnumSimpsAScript.sml | 14 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 D | selftest.sml | 112 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 D | Datatype.sml | 542 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 D | RecordType.sml | 304 (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 D | selftest.sml | 611 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