Module Domain.AtomSource

Sourcetype upid = string
Sourceval upid_to_yojson : upid -> Yojson.Safe.t
Sourcetype optext = string
Sourceval optext_to_yojson : optext -> Yojson.Safe.t
Sourcetype t =
  1. | Keyword of upid
  2. | Tag of upid
  3. | Operator of optext
  4. | Sub
  5. | Sup
  6. | Turnstile
  7. | Tilesturn
  8. | Arrow
  9. | ArrowSub
  10. | DoubleArrowSub
  11. | DoubleArrowLong
  12. | SqArrow
  13. | SqArrowStar
  14. | Dot
  15. | Dot2
  16. | Dot3
  17. | Semicolon
  18. | Colon
  19. | ColonEq
  20. | Tilde2
  21. | Backslash
  22. | LAngle
  23. | RAngle
  24. | LParen
  25. | RParen
  26. | LBrack
  27. | RBrack
  28. | LBrace
  29. | RBrace
Sourceval to_yojson : t -> Yojson.Safe.t
Sourceval _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
Sourceval compare : t -> t -> int
Sourceval eq : t -> t -> bool
Sourceval string_of_atom : t -> upid
Sourceval atom_of_string : upid -> t
Sourceval render_atom : t -> upid
Sourceval is_upid : string -> bool
Sourceval is_operator : t -> String.t -> bool
Sourceval keyword : string -> t
Sourceval tag : string -> t
Sourceval operator : string -> t