Standard library

• Cmd module
  • types:
    • cmd
• String module
  • variables:
    • asList: string -> list string
• Map module
  • variables:
    • cardinal : map (‘v) -> int
    • is_in: map (‘k, ‘v) -> ‘k -> bool
    • get : map (‘k, ‘v) -> ‘k -> option ‘v
    • union: map (‘k, ‘v) -> map (‘k, ‘v) -> map (‘k, ‘v)
    • add: map (‘k, ‘v) -> ‘k -> ‘v
    • rm: map (‘k, ‘v) -> ‘k
• Set module
  • variables:
    • cardinal : set (‘v) -> int
    • is_in: set (‘v) -> ‘v -> bool
    • union: set (‘v) -> set (‘v) -> set (‘v)
    • add: set (‘v) -> ‘v -> set (‘v)
    • rm: set (‘v) -> ‘v -> set (‘v)