Up – Package index » ojs » Library ojs » Ojs » String

Module `Ojs.String`Source

ojs
- CHANGES
- README
- Library ojs
  - Ojs
    - obj
    - T
    - Int
    - String
    - Bool
    - Float
    - Array
    - List
    - Option
  - Ojs_exn
- Sources

Sourcetype js := t

Sourcetype t = string

Sourceval t_to_js : t -> js

Sourceval t_of_js : js -> t