mirror of
https://github.com/msgpack/msgpack-python.git
synced 2026-02-07 10:19:51 +00:00
8 lines
181 B
Coq
8 lines
181 B
Coq
Require Export String.
|
|
Require Export List.
|
|
Require Export ExtractUtil.
|
|
Require Export Util.
|
|
|
|
Open Scope string_scope.
|
|
|
|
Notation "op ; x" := (semicolon_flipped x op) (at level 50).
|