aboutsummaryrefslogtreecommitdiff
path: root/semestr-3/pf/lista4/logic/logic.cma
blob: 5fca9f1849d2b20c095db93a03798889499ebcb6 (plain)
ofshex dumpascii
0000 43 61 6d 6c 31 39 39 39 41 30 32 38 00 00 06 88 54 00 00 00 37 01 00 00 00 00 00 00 57 00 00 00 Caml1999A028....T...7.......W...
0020 01 00 02 00 03 00 00 00 07 00 00 00 0b 00 00 00 35 00 00 00 00 00 00 00 28 00 00 00 01 00 00 00 ................5.......(.......
0040 00 00 00 00 43 00 00 00 28 00 00 00 01 00 00 00 35 00 00 00 00 00 00 00 0b 00 00 00 44 00 00 00 ....C...(.......5...........D...
0060 32 00 00 00 21 00 00 00 38 00 00 00 00 00 00 00 1b 00 00 00 22 00 00 00 36 00 00 00 00 00 00 00 2...!...8..........."...6.......
0080 38 00 00 00 00 00 00 00 1b 00 00 00 22 00 00 00 0b 00 00 00 43 00 00 00 32 00 00 00 21 00 00 00 8...........".......C...2...!...
00a0 38 00 00 00 00 00 00 00 1b 00 00 00 22 00 00 00 36 00 00 00 00 00 00 00 38 00 00 00 00 00 00 00 8..........."...6.......8.......
00c0 1b 00 00 00 26 00 00 00 03 00 00 00 29 00 00 00 2a 00 00 00 01 00 00 00 01 00 00 00 1a 00 00 00 ....&.......)...*...............
00e0 21 00 00 00 0a 00 00 00 44 00 00 00 81 00 00 00 56 00 00 00 0b 00 00 00 02 00 00 00 0c 00 00 00 !.......D.......V...............
0100 0c 00 00 00 43 00 00 00 40 00 00 00 00 00 00 00 40 00 00 00 03 00 00 00 28 00 00 00 03 00 00 00 ....C...@.......@.......(.......
0120 35 00 00 00 00 00 00 00 38 00 00 00 00 00 00 00 01 00 00 00 25 00 00 00 04 00 00 00 29 00 00 00 5.......8...........%.......)...
0140 2a 00 00 00 01 00 00 00 00 00 00 00 1a 00 00 00 21 00 00 00 0c 00 00 00 1a 00 00 00 21 00 00 00 *...............!...........!...
0160 0b 00 00 00 44 00 00 00 0a 00 00 00 57 00 00 00 01 00 02 00 24 00 00 00 24 00 00 00 03 00 00 00 ....D.......W.......$...$.......
0180 01 00 00 00 44 00 00 00 0b 00 00 00 43 00 00 00 5e 00 00 00 00 00 00 00 56 00 00 00 08 00 00 00 ....D.......C...^.......V.......
01a0 35 00 00 00 00 00 00 00 38 00 00 00 00 00 00 00 01 00 00 00 25 00 00 00 06 00 00 00 04 00 00 00 5.......8...........%...........
01c0 0e 00 00 00 0c 00 00 00 44 00 00 00 0e 00 00 00 43 00 00 00 10 00 00 00 43 00 00 00 38 00 00 00 ........D.......C.......C...8...
01e0 00 00 00 00 24 00 00 00 22 00 00 00 40 00 00 00 00 00 00 00 41 00 00 00 02 00 00 00 28 00 00 00 ....$..."...@.......A.......(...
0200 05 00 00 00 35 00 00 00 00 00 00 00 38 00 00 00 00 00 00 00 01 00 00 00 25 00 00 00 06 00 00 00 ....5.......8...........%.......
0220 29 00 00 00 2a 00 00 00 01 00 00 00 01 00 00 00 0b 00 00 00 5e 00 00 00 00 00 00 00 28 00 00 00 )...*...............^.......(...
0240 02 00 00 00 29 00 00 00 2a 00 00 00 01 00 00 00 01 00 00 00 1a 00 00 00 21 00 00 00 0c 00 00 00 ....)...*...............!.......
0260 0b 00 00 00 44 00 00 00 0d 00 00 00 40 00 00 00 01 00 00 00 0c 00 00 00 43 00 00 00 0e 00 00 00 ....D.......@...........C.......
0280 09 00 00 00 2b 00 00 00 00 00 00 00 e6 ff ff ff 21 00 00 00 38 00 00 00 00 00 00 00 26 00 00 00 ....+...........!...8.......&...
02a0 22 00 00 00 40 00 00 00 00 00 00 00 40 00 00 00 01 00 00 00 28 00 00 00 03 00 00 00 00 00 00 00 "...@.......@.......(...........
02c0 68 00 00 00 0c 00 00 00 40 00 00 00 00 00 00 00 40 00 00 00 00 00 00 00 3f 00 00 00 00 00 00 00 h.......@.......@.......?.......
02e0 28 00 00 00 01 00 00 00 35 00 00 00 00 00 00 00 1b 00 00 00 38 00 00 00 00 00 00 00 0c 00 00 00 (.......5...........8...........
0300 22 00 00 00 63 00 00 00 1b 00 00 00 38 00 00 00 00 00 00 00 18 00 00 00 22 00 00 00 00 00 00 00 "...c.......8...........".......
0320 1b 00 00 00 1a 00 00 00 26 00 00 00 03 00 00 00 29 00 00 00 2a 00 00 00 01 00 00 00 65 00 00 00 ........&.......)...*.......e...
0340 0b 00 00 00 38 00 00 00 00 00 00 00 08 00 00 00 22 00 00 00 01 00 00 00 1b 00 00 00 21 00 00 00 ....8..........."...........!...
0360 0a 00 00 00 56 00 00 00 17 00 00 00 00 00 00 00 43 00 00 00 0c 00 00 00 1a 00 00 00 22 00 00 00 ....V...........C..........."...
0380 00 00 00 00 44 00 00 00 0c 00 00 00 1a 00 00 00 2b 00 00 00 02 00 00 00 d4 ff ff ff 38 00 00 00 ....D...........+...........8...
03a0 00 00 00 00 0e 00 00 00 22 00 00 00 63 00 00 00 0c 00 00 00 38 00 00 00 00 00 00 00 18 00 00 00 ........"...c.......8...........
03c0 22 00 00 00 13 00 00 00 01 00 00 00 63 00 00 00 0b 00 00 00 38 00 00 00 00 00 00 00 04 00 00 00 "...........c.......8...........
03e0 22 00 00 00 35 00 00 00 00 00 00 00 0b 00 00 00 38 00 00 00 00 00 00 00 0c 00 00 00 22 00 00 00 "...5...........8..........."...
0400 63 00 00 00 0b 00 00 00 38 00 00 00 00 00 00 00 18 00 00 00 22 00 00 00 01 00 00 00 1c 00 00 00 c.......8..........."...........
0420 21 00 00 00 0b 00 00 00 1a 00 00 00 22 00 00 00 63 00 00 00 0b 00 00 00 38 00 00 00 00 00 00 00 !..........."...c.......8.......
0440 02 00 00 00 22 00 00 00 63 00 00 00 0b 00 00 00 38 00 00 00 00 00 00 00 02 00 00 00 26 00 00 00 ...."...c.......8...........&...
0460 04 00 00 00 00 00 00 00 1a 00 00 00 21 00 00 00 44 00 00 00 28 00 00 00 01 00 00 00 00 00 00 00 ............!...D...(...........
0480 1a 00 00 00 21 00 00 00 43 00 00 00 28 00 00 00 01 00 00 00 00 00 00 00 57 00 00 00 00 00 04 00 ....!...C...(...........W.......
04a0 04 00 00 00 04 00 00 00 04 00 00 00 04 00 00 00 00 00 00 00 43 00 00 00 28 00 00 00 01 00 00 00 ....................C...(.......
04c0 29 00 00 00 2a 00 00 00 01 00 00 00 01 00 00 00 1a 00 00 00 21 00 00 00 0b 00 00 00 38 00 00 00 )...*...............!.......8...
04e0 00 00 00 00 0c 00 00 00 26 00 00 00 04 00 00 00 2c 00 00 00 01 00 00 00 00 00 00 00 c7 fe ff ff ........&.......,...............
0500 00 00 00 00 2b 00 00 00 01 00 00 00 ee ff ff ff 09 00 00 00 2b 00 00 00 00 00 00 00 de ff ff ff ....+...............+...........
0520 0a 00 00 00 2b 00 00 00 01 00 00 00 d4 ff ff ff 0b 00 00 00 2b 00 00 00 01 00 00 00 ca ff ff ff ....+...............+...........
0540 0a 00 00 00 0c 00 00 00 0f 00 00 00 2b 00 00 00 03 00 00 00 78 ff ff ff 09 00 00 00 2b 00 00 00 ............+.......x.......+...
0560 00 00 00 00 56 ff ff ff 0e 00 00 00 2b 00 00 00 01 00 00 00 35 ff ff ff 0f 00 00 00 2b 00 00 00 ....V.......+.......5.......+...
0580 01 00 00 00 ef fe ff ff 10 00 00 00 2b 00 00 00 01 00 00 00 cf fe ff ff 36 00 00 00 00 00 00 00 ............+...........6.......
05a0 0e 00 00 00 21 00 00 00 36 00 00 00 00 00 00 00 0e 00 00 00 22 00 00 00 36 00 00 00 00 00 00 00 ....!...6..........."...6.......
05c0 0f 00 00 00 21 00 00 00 36 00 00 00 00 00 00 00 0f 00 00 00 22 00 00 00 36 00 00 00 00 00 00 00 ....!...6..........."...6.......
05e0 0f 00 00 00 22 00 00 00 36 00 00 00 00 00 00 00 36 00 00 00 00 00 00 00 36 00 00 00 00 00 00 00 ...."...6.......6.......6.......
0600 0a 00 00 00 12 00 00 00 09 00 00 00 21 00 00 00 0c 00 00 00 12 00 00 00 09 00 00 00 22 00 00 00 ............!..............."...
0620 0d 00 00 00 12 00 00 00 09 00 00 00 22 00 00 00 10 00 00 00 12 00 00 00 08 00 00 00 12 00 00 00 ............"...................
0640 0a 00 00 00 12 00 00 00 0c 00 00 00 12 00 00 00 0e 00 00 00 12 00 00 00 10 00 00 00 12 00 00 00 ................................
0660 12 00 00 00 12 00 00 00 15 00 00 00 3e 00 00 00 08 00 00 00 00 00 00 00 13 00 00 00 10 00 00 00 ............>...................
0680 39 00 00 00 00 00 00 00 84 95 a6 be 00 00 05 89 00 00 01 51 00 00 04 67 00 00 04 32 d0 a0 08 00 9..................Q...g...2....
06a0 00 28 00 25 4c 6f 67 69 63 50 01 06 78 a0 a0 90 90 b2 21 46 b0 c0 28 6c 6f 67 69 63 2e 6d 6c 44 .(.%LogicP..x.....!F..(logic.mlD
06c0 00 66 00 74 c0 04 02 44 00 66 00 75 40 40 64 a0 a0 90 90 b2 21 29 b0 c0 04 0a 46 01 00 86 01 00 .f.t...D.f.u@@d.....!)....F.....
06e0 dc c0 04 0b 46 01 00 86 01 00 dd 40 40 00 44 a0 a0 91 92 26 53 74 64 6c 69 62 00 5c a0 a0 90 90 ....F......@@.D....&Stdlib.\....
0700 b2 24 20 2d 3e 20 b0 c0 04 18 46 01 00 86 01 00 ba c0 04 19 46 01 00 86 01 00 be 40 40 00 6c a0 .$.->.....F.........F......@@.l.
0720 a0 91 04 0e 00 74 a0 a0 91 04 11 01 00 94 a0 a0 90 90 b2 21 28 b0 c0 04 27 46 01 00 86 01 00 9b .....t.............!(...'F......
0740 c0 04 28 46 01 00 86 01 00 9c 40 40 01 00 a4 a0 a0 91 04 1d 01 00 ac a0 a0 90 90 b2 3b 74 68 6d ..(F......@@................;thm
0760 20 63 6f 6e 63 6c 75 73 69 6f 6e 20 69 73 20 6e 6f 74 20 46 61 6c 73 65 b0 c0 04 33 00 45 01 09 .conclusion.is.not.False...3.E..
0780 4a 01 09 5d c0 04 34 00 45 01 09 4a 01 09 78 40 40 01 01 14 a0 a0 91 04 29 01 01 1c a0 a0 93 2d J..]..4.E..J..x@@.......)......-
07a0 63 61 6d 6c 5f 6e 6f 74 65 71 75 61 6c 01 01 84 a0 a0 90 90 b2 09 36 74 68 31 20 63 6f 6e 63 6c caml_notequal.........6th1.concl
07c0 75 73 69 6f 6e 27 73 20 70 72 65 6d 69 73 65 20 69 73 20 6e 6f 74 20 74 68 32 20 70 72 65 6d 69 usion's.premise.is.not.th2.premi
07e0 73 65 20 63 6f 6e 63 6c 75 73 69 6f 6e b0 c0 04 43 7f 01 07 fb 01 08 39 c0 04 44 7f 01 07 fb 01 se.conclusion...C......9..D.....
0800 08 6f 40 40 01 01 94 a0 a0 91 04 39 01 01 9c a0 a0 91 04 3c 01 01 d0 a0 a0 90 90 b2 09 21 74 68 .o@@.......9.......<.........!th
0820 31 20 63 6f 6e 63 6c 75 73 69 6f 6e 20 69 73 20 6e 6f 74 20 69 6d 70 6c 69 63 61 74 69 6f 6e b0 1.conclusion.is.not.implication.
0840 c0 04 52 7e 01 07 b9 01 07 d8 c0 04 53 7e 01 07 b9 01 07 f9 40 40 01 01 f8 a0 a0 91 04 48 01 02 ..R~........S~......@@.......H..
0860 00 a0 a0 93 04 1f 01 02 28 a0 a0 91 92 2c 53 74 64 6c 69 62 5f 5f 6c 69 73 74 01 02 88 a0 a0 90 ........(....,Stdlib__list......
0880 90 b2 21 2c b0 c0 04 66 67 01 05 33 01 05 53 c0 04 67 67 01 05 33 01 05 54 40 40 01 02 dc a0 a0 ..!,...fg..3..S..gg..3..T@@.....
08a0 91 92 2e 53 74 64 6c 69 62 5f 5f 66 6f 72 6d 61 74 01 02 e8 a0 a0 91 04 05 01 03 00 a0 a0 91 04 ...Stdlib__format...............
08c0 08 01 03 38 a0 a0 91 04 19 01 03 90 a0 a0 91 04 0e 01 03 a8 a0 a0 91 04 11 01 03 c8 a0 a0 90 90 ...8............................
08e0 b2 23 e2 8a a2 b0 c0 04 83 6d 01 05 d9 01 05 f1 c0 04 84 6d 01 05 d9 01 05 f4 40 40 01 03 d8 a0 .#.......m.........m......@@....
0900 a0 91 04 1d 01 03 e4 a0 a0 91 04 20 01 03 fc a0 a0 91 04 23 01 04 2c a0 a0 91 04 26 01 04 44 a0 ...................#..,....&..D.
0920 a0 91 04 29 01 04 d0 a0 a0 90 a2 40 a0 90 b2 21 70 b0 c0 04 9d 00 48 01 09 7c 01 09 ad c0 04 9e ...).......@...!p.....H..|......
0940 00 48 01 09 7c 01 09 ae 40 40 40 01 05 8c a0 a0 90 a2 40 a0 90 b2 21 70 b0 c0 04 a8 00 48 01 09 .H..|...@@@.......@...!p.....H..
0960 7c 01 09 94 c0 04 a9 00 48 01 09 7c 01 09 95 40 40 40 01 05 9c a0 a0 90 a2 40 a0 90 b2 21 70 b0 |.......H..|...@@@.......@...!p.
0980 c0 04 b3 00 49 01 09 b3 01 09 f6 c0 04 b4 00 49 01 09 b3 01 09 f7 40 40 40 01 05 ac a0 a0 90 a2 ....I..........I......@@@.......
09a0 40 a0 90 b2 21 71 b0 c0 04 be 00 49 01 09 b3 01 09 dd c0 04 bf 00 49 01 09 b3 01 09 de 40 40 40 @...!q.....I..........I......@@@
09c0 01 05 bc a0 a0 90 a2 40 a0 90 b2 21 70 b0 c0 04 c9 00 49 01 09 b3 01 09 cc c0 04 ca 00 49 01 09 .......@...!p.....I..........I..
09e0 b3 01 09 cd 40 40 40 01 05 cc a0 a0 90 a2 41 a0 a2 41 a0 a2 40 a0 90 b2 21 70 b0 c0 04 d8 00 4b ....@@@.......A..A..@...!p.....K
0a00 01 09 fe 01 0a 1a c0 04 d9 00 4b 01 09 fe 01 0a 1b 40 40 40 a0 a2 40 a0 90 b2 21 71 b0 c0 04 e1 ..........K......@@@..@...!q....
0a20 00 4b 01 09 fe 01 0a 23 c0 04 e2 00 4b 01 09 fe 01 0a 24 40 40 40 40 a0 a2 40 a0 90 b2 21 72 b0 .K.....#....K.....$@@@@..@...!r.
0a40 c0 04 ea 00 4b 01 09 fe 01 0a 2d c0 04 eb 00 4b 01 09 fe 01 0a 2e 40 40 40 40 01 05 dc a0 a0 90 ....K.....-....K......@@@@......
0a60 a2 41 a0 a2 40 a0 90 b2 21 70 b0 c0 04 f7 00 4c 01 0a 31 01 0a 47 c0 04 f8 00 4c 01 0a 31 01 0a .A..@...!p.....L..1..G....L..1..
0a80 48 40 40 40 a0 a2 40 a0 90 b2 21 71 b0 c0 05 01 00 00 4c 01 0a 31 01 0a 50 c0 05 01 01 00 4c 01 H@@@..@...!q......L..1..P.....L.
0aa0 0a 31 01 0a 51 40 40 40 40 01 05 e4 a0 a0 90 a2 41 a0 a2 40 a0 90 b2 21 70 b0 c0 05 01 0d 00 4d .1..Q@@@@.......A..@...!p......M
0ac0 01 0a 54 01 0a 6a c0 05 01 0e 00 4d 01 0a 54 01 0a 6b 40 40 40 a0 a2 40 a0 90 b2 21 72 b0 c0 05 ..T..j.....M..T..k@@@..@...!r...
0ae0 01 16 00 4d 01 0a 54 01 0a 73 c0 05 01 17 00 4d 01 0a 54 01 0a 74 40 40 40 40 01 05 ec a0 a0 92 ...M..T..s.....M..T..t@@@@......
0b00 92 05 01 24 01 06 74 40 a0 a0 2d 53 74 64 6c 69 62 5f 5f 75 63 68 61 72 90 30 ab 6f 1d f9 3a bf ...$..t@..-Stdlib__uchar.0.o..:.
0b20 9e 80 0a 3e 0d 15 43 52 3c 96 a0 a0 2b 53 74 64 6c 69 62 5f 5f 73 65 71 90 30 d6 a8 de 25 c9 ee ...>..CR<...+Stdlib__seq.0...%..
0b40 cf 5a e9 42 0a 9f 3f 8b 2e 88 a0 a0 2c 53 74 64 6c 69 62 5f 5f 6c 69 73 74 90 30 15 ce f0 25 58 .Z.B..?.....,Stdlib__list.0...%X
0b60 cc 65 76 c6 16 c8 4f 09 d5 b0 ea a0 a0 2e 53 74 64 6c 69 62 5f 5f 66 6f 72 6d 61 74 90 30 de 2a .ev...O.......Stdlib__format.0.*
0b80 0c c4 d0 ca 0c c2 18 de 74 47 f4 8a aa 41 a0 a0 2e 53 74 64 6c 69 62 5f 5f 62 75 66 66 65 72 90 ........tG...A...Stdlib__buffer.
0ba0 30 23 4b 61 fa 39 06 00 38 22 20 52 87 eb 65 a4 81 a0 a0 26 53 74 64 6c 69 62 90 30 c2 1c 5d 26 0#Ka.9..8".R..e....&Stdlib.0..]&
0bc0 41 64 61 b5 43 32 18 72 a5 51 ea 0d a0 a0 05 01 44 90 30 e2 54 10 2e 5c ed ae 1c f5 12 43 4c 08 Ada.C2.r.Q......D.0.T..\.....CL.
0be0 27 a7 23 a0 a0 38 43 61 6d 6c 69 6e 74 65 72 6e 61 6c 46 6f 72 6d 61 74 42 61 73 69 63 73 90 30 '.#..8CamlinternalFormatBasics.0
0c00 3a 3c a1 83 86 27 f7 76 2f 49 67 9c e0 27 8a d1 40 a0 05 01 35 a0 04 da a0 04 e9 40 40 40 40 40 :<...'.v/Ig..'..@...5......@@@@@
0c20 40 40 40 40 40 @@@@@