-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathExtractionString.out
52 lines (45 loc) · 2.58 KB
/
ExtractionString.out
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
(** 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"