| CARVIEW |
Select Language
HTTP/2 200
date: Sun, 12 Oct 2025 00:27:40 GMT
content-type: text/html; charset=UTF-8
server: cloudflare
x-frame-options: DENY
x-content-type-options: nosniff
x-xss-protection: 1;mode=block
vary: accept-encoding
cf-cache-status: DYNAMIC
content-encoding: gzip
set-cookie: _csrf-frontend=7835231ab5e0b15acdf05e20871ceb26f59f9809c1eb0a8830852bee9803e914a%3A2%3A%7Bi%3A0%3Bs%3A14%3A%22_csrf-frontend%22%3Bi%3A1%3Bs%3A32%3A%22k5erYUkLHFnOu0dH0AaBJ90Gqz50WVpB%22%3B%7D; HttpOnly; Path=/
cf-ray: 98d27907e82b1712-BLR
F1: BNF Syntax - Pastebin.com
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Query ::= [ all | one | min | max ]
- [ Var { , Var } ] [ in [ Ident | String ] ] Formula [ end ]
- Prog ::= { Typedecl | Constdecl } { Pred }
- Formula ::= Formula2 { "|" Formula2 }
- Formula2 ::= Formula3 { & Formula3 }
- Formula3 ::= If | Case | All | false | true | ~Formula3 |
- Call | Term Oper Term | ( Formula ) | Vdecl
- Oper ::= < | > | <= | >= | <> | = | := | in
- Call ::= Ident ( Term )
- If ::= if Formula then Formula
- {elsif Formula then Formula} }
- [ else Formula ]
- end
- Case ::= case Term of
- Term { "|" Term } => Formula
- { ; Term { "|" Term } => Formula } [ ; ]
- [ else Formula ]
- end
- All ::= all Var { , Var } in Var Formula end |
- [ one | min | max ] Var { , Var } Formula end
- Term ::= Term1 [ ,Term ]
- Terml ::= [ - ] Term2 {Addop Term2 }
- Addop ::= + | -
- Term2 ::= Term3 { Multop Term3 }
- Multop ::= * | / | mod
- Term3 ::= _ | Ident | Call | Number | String | Charconst |
- Selection | ( Term ) | Array | Term3 : Type
- Selection ::= [ Var | Ident ] { . Var | ( Term ) }
- Array ::= "[" [Term ] "]"
- Number ::= DecimalDigit { DecimalDigit } | Radix RadixDigit {RadixDigit}
- Radix ::= 0x | 0b | 0o | 0d
- String ::= 'Char { Char }'
- Charconst ::= " Char "
- Type ::= Ptype [ Arrows Type ]
- Arrows ::= -> | ->>
- Ptype ::= ( Tuple ) | [ Ident ] "[" [ Term ]..[Term] "]" |
- list Ptype | rel Ptype | file Ptype | Ident
- Tuple ::= Named | Unnamed
- Named ::= Var : Type { , Unnamed }
- Unnamed ::= Type { , Unnamed }
- Vdecl ::= Var Mode Type
- Mode ::= :< | :> | :. | ::
- Typedecl ::= [ local ] Ident = Td
- Td ::= Tuple | Union
- Constdecl ::= [ local ] Ident :< Type = Term
- Union ::= Unionelem "|" Unionelem { "|" Unionelem }
- Unionelem = Ident | Ident ( Tuple )
- Pred ::= [ local ] Kind Ident ( Vdecl { , Vdecl } ) iff Body
- Kind ::= pred | proc | subr
- Body ::= Formula | Forwarded
- Forwarded ::= external [_cdecl | _stdcall] String : String
Advertisement
Add Comment
Please, Sign In to add comment
-
⭐⭐⭐Swapzone.io Glitch (Working)⭐⭐
Java | 4 sec ago | 0.10 KB
-
⭐⭐⭐ChangeNOW Exploit⭐⭐
Java | 5 sec ago | 0.10 KB
-
📝 Crypto Swap Glitch ✅ Working
JavaScript | 8 sec ago | 0.24 KB
-
⭐⭐⭐Profit Method⭐⭐
Java | 15 sec ago | 0.10 KB
-
⭐⭐⭐Exchange Exploit⭐⭐
Java | 17 sec ago | 0.10 KB
-
📝 EASY MONEY GUIDE ✅ Working
JavaScript | 17 sec ago | 0.24 KB
-
📝 EASY MONEY GUIDE ✅ Working
JavaScript | 23 sec ago | 0.24 KB
-
⭐⭐⭐Profit Method⭐⭐
Java | 28 sec ago | 0.10 KB
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
