mirror of
https://github.com/msgpack/msgpack-c
synced 2026-06-08 16:11:40 +00:00
mzp
9 lines
181 B
V
9 lines
181 B
V
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).
|