123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960(** [Q] is short for Emacs [quote]. [Q] defines constant symbols.
The naming convention is to use the emacs name but replace '-' with '_'. *)open!Core_kernelopen!Import0letdefface="defface"|>Symbol.internletdefun="defun"|>Symbol.internletdefvar="defvar"|>Symbol.internletface="face"|>Symbol.internletfuncall="funcall"|>Symbol.internletlist="list"|>Symbol.internletnil="nil"|>Symbol.internletnumber="number"|>Symbol.internletquote="quote"|>Symbol.internletregexp="regexp"|>Symbol.internletsexp="sexp"|>Symbol.internletsymbol="symbol"|>Symbol.internlett="t"|>Symbol.internletvector="vector"|>Symbol.intern(** [K] is short for "keyword". [K] defines a symbols starting with ":". *)moduleK=structletaround=":around"|>Symbol.internletbackground=":background"|>Symbol.internletbox=":box"|>Symbol.internletfamily=":family"|>Symbol.internletfile=":file"|>Symbol.internletfilter=":filter"|>Symbol.internletfont=":font"|>Symbol.internletforeground=":foreground"|>Symbol.internletfoundry=":foundry"|>Symbol.internletget=":get"|>Symbol.internletglobal=":global"|>Symbol.internletgroup=":group"|>Symbol.internletheight=":height"|>Symbol.internletinherit_=":inherit"|>Symbol.internletinverse_video=":inverse-video"|>Symbol.internletkey_type=":key-type"|>Symbol.internletkeymap=":keymap"|>Symbol.internletlighter=":lighter"|>Symbol.internletmust_match=":must-match"|>Symbol.internletname=":name"|>Symbol.internletoverline=":overline"|>Symbol.internletpad_right=":pad-right"|>Symbol.internletright_align=":right-align"|>Symbol.internletserver=":server"|>Symbol.internletservice=":service"|>Symbol.internletset=":set"|>Symbol.internletslant=":slant"|>Symbol.internletstipple=":stipple"|>Symbol.internletstrike_through=":strike-through"|>Symbol.internlettag=":tag"|>Symbol.internlettype_=":type"|>Symbol.internletunderline=":underline"|>Symbol.internletvalue_type=":value-type"|>Symbol.internletweight=":weight"|>Symbol.internletwidth=":width"|>Symbol.internend