File: ExtractionString.out

package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 44,116 kB
  • sloc: ml: 234,160; sh: 4,301; python: 3,270; ansic: 2,644; makefile: 882; lisp: 172; javascript: 63; xml: 24; sed: 2
file content (52 lines) | stat: -rw-r--r-- 2,638 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
 
(** val str : string **)

let str =
  String ((Ascii (False, False, True, False, True, False, True, False)),
    (String ((Ascii (False, False, False, True, False, True, True, False)),
    (String ((Ascii (True, False, False, True, False, True, True, False)),
    (String ((Ascii (True, True, False, False, True, True, True, False)),
    (String ((Ascii (False, False, False, False, False, True, False, False)),
    (String ((Ascii (True, False, False, True, False, True, True, False)),
    (String ((Ascii (True, True, False, False, True, True, True, False)),
    (String ((Ascii (False, False, False, False, False, True, False, False)),
    (String ((Ascii (True, False, False, False, False, True, True, False)),
    (String ((Ascii (False, False, False, False, False, True, False, False)),
    (String ((Ascii (True, True, False, False, True, True, True, False)),
    (String ((Ascii (False, False, True, False, True, True, True, False)),
    (String ((Ascii (False, True, False, False, True, True, True, False)),
    (String ((Ascii (True, False, False, True, False, True, True, False)),
    (String ((Ascii (False, True, True, True, False, True, True, False)),
    (String ((Ascii (True, True, True, False, False, True, True, False)),
    EmptyString)))))))))))))))))))))))))))))))
str :: String
str =
  String0 (Ascii False False True False True False True False) (String0
    (Ascii False False False True False True True False) (String0 (Ascii True
    False False True False True True False) (String0 (Ascii True True False
    False True True True False) (String0 (Ascii False False False False False
    True False False) (String0 (Ascii True False False True False True True
    False) (String0 (Ascii True True False False True True True False)
    (String0 (Ascii False False False False False True False False) (String0
    (Ascii True False False False False True True False) (String0 (Ascii
    False False False False False True False False) (String0 (Ascii True True
    False False True True True False) (String0 (Ascii False False True False
    True True True False) (String0 (Ascii False True False False True True
    True False) (String0 (Ascii True False False True False True True False)
    (String0 (Ascii False True True True False True True False) (String0
    (Ascii True True True False False True True False)
    EmptyString)))))))))))))))


(** val str : char list **)

let str =
  'T'::('h'::('i'::('s'::(' '::('i'::('s'::(' '::('a'::(' '::('s'::('t'::('r'::('i'::('n'::('g'::[])))))))))))))))
(** val str : string **)

let str =
  "This is a string"
str :: Prelude.String
str =
  "This is a string"