util: Files in sexpc/ of 520b38deac100b0d

Files for check-in 520b38deac100b0d

and within directory /sexpc sorted by filename

util
2019-07-23 12:32:27
- sexpc
  current
  - example.cse
    current
  - sexpc.scm
    current
  - type-tests.scm
    current