Input
Output
No results yet.
Aliases
Reference
type a = t ;;
Defines an alias that persists for this browser session.
t ;;
Normalizes and prints a type.
a <= b ;;
Tests subtyping. Use a = b ;; for semantic equality and a >= b ;; for reverse subtyping.
t s ;;
Applies function type t to argument type s. For arity 2 or higher, apply with t (s1, s2) ;;.
t[s] ;;
Projects the value type for map keys matching type s.
a or b
Set union. Intersections and differences are a and b, a and not b, and not a.
{integer, ...}
Open tuple syntax. Maps use %{foo: integer}, %{..., foo: integer}, or %{atom() => integer()}.
Use Ctrl+Enter, or Cmd+Enter on macOS, to run the input.