ATSLIB/libats/ML/basis

This package contains various basic types for the ATSLIB-libats-ML library.


  • list0
  • list0_t0ype_type
  • option0
  • option0_t0ype_type
  • array0
  • strarr

  • list0

    Synopsis

    stadef list0 = list0_t0ype_type

    list0_t0ype_type

    Synopsis

    datatype // t@ype+: covariant
    list0_t0ype_type (a: t@ype+) =
      | list0_nil of () | list0_cons of (a, list0_t0ype_type a)

    option0

    Synopsis

    stadef option0 = option0_t0ype_type

    option0_t0ype_type

    Synopsis

    datatype // t@ype+: covariant
    option0_t0ype_type
      (a: t@ype+) = Some0 of (a) | None0 of ()

    array0

    Synopsis

    stadef array0 = array0_vt0ype_type

    strarr

    Synopsis

    typedef strarr = strarr_type

    This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi. SourceForge.net Logo