Dennis J. Darland
Practice in Programming
ASUS Development Computer - Ubuntu 14.04
Starting  Mon May 21 21:06:06 CDT 2018
Finished  Mon May 21 21:06:07 CDT 2018
Poly/ML 5.2 Release
> val feet_per_meter = 3.28 : real
val meter_per_foot = 0.3048780488 : real
val minus1 = fn : int -> int
val it = () : unit
> > structure StreamIO :
  sig
    val canInput : TextIO.StreamIO.instream * int -> int option
    val closeIn : TextIO.StreamIO.instream -> unit
    val closeOut : TextIO.StreamIO.outstream -> unit
    type elem
    val endOfStream : TextIO.StreamIO.instream -> bool
    val filePosIn : TextIO.StreamIO.instream -> TEXT_IO.StreamIO.pos
    val filePosOut : TextIO.StreamIO.out_pos -> TEXT_IO.StreamIO.pos
    val flushOut : TextIO.StreamIO.outstream -> unit
    val getBufferMode : TextIO.StreamIO.outstream -> IO.buffer_mode
    val getPosOut : TextIO.StreamIO.outstream -> TextIO.StreamIO.out_pos
    val getReader :
       TextIO.StreamIO.instream ->
       TEXT_IO.StreamIO.reader * TEXT_STREAM_IO.vector
    val getWriter :
       TextIO.StreamIO.outstream -> TEXT_IO.StreamIO.writer * IO.buffer_mode
    val input :
       TextIO.StreamIO.instream ->
       TEXT_STREAM_IO.vector * TextIO.StreamIO.instream
    val input1 :
       TextIO.StreamIO.instream ->
       (TEXT_STREAM_IO.elem * TextIO.StreamIO.instream) option
    val inputAll :
       TextIO.StreamIO.instream ->
       TEXT_STREAM_IO.vector * TextIO.StreamIO.instream
    val inputLine :
       TextIO.StreamIO.instream -> (string * TextIO.StreamIO.instream) option
    val inputN :
       TextIO.StreamIO.instream * int ->
       TEXT_STREAM_IO.vector * TextIO.StreamIO.instream
    type instream
    val mkInstream :
       TEXT_IO.StreamIO.reader * TEXT_STREAM_IO.vector ->
       TextIO.StreamIO.instream
    val mkOutstream :
       TEXT_IO.StreamIO.writer * IO.buffer_mode -> TextIO.StreamIO.outstream
    type out_pos
    val output : TextIO.StreamIO.outstream * TEXT_STREAM_IO.vector -> unit
    val output1 : TextIO.StreamIO.outstream * TEXT_STREAM_IO.elem -> unit
    val outputSubstr :
       TextIO.StreamIO.outstream * Substring.substring -> unit
    type outstream
    type pos
    type reader
    val setBufferMode : TextIO.StreamIO.outstream * IO.buffer_mode -> unit
    val setPosOut : TextIO.StreamIO.out_pos -> TextIO.StreamIO.outstream
    type vector
    type writer
  end
val canInput = fn : TextIO.instream * int -> int option
val closeIn = fn : TextIO.instream -> unit
val closeOut = fn : TextIO.outstream -> unit
type elem
val endOfStream = fn : TextIO.instream -> bool
val flushOut = fn : TextIO.outstream -> unit
val getInstream = fn : TextIO.instream -> TextIO.StreamIO.instream
val getOutstream = fn : TextIO.outstream -> TextIO.StreamIO.outstream
val getPosOut = fn : TextIO.outstream -> TextIO.StreamIO.out_pos
val input = fn : TextIO.instream -> TEXT_IO.vector
val input1 = fn : TextIO.instream -> TEXT_IO.elem option
val inputAll = fn : TextIO.instream -> TEXT_IO.vector
val inputLine = fn : TextIO.instream -> string option
val inputN = fn : TextIO.instream * int -> TEXT_IO.vector
type instream
val lookahead = fn : TextIO.instream -> TEXT_IO.elem option
val mkInstream = fn : TextIO.StreamIO.instream -> TextIO.instream
val mkOutstream = fn : TextIO.StreamIO.outstream -> TextIO.outstream
val openAppend = fn : string -> TextIO.outstream
val openIn = fn : string -> TextIO.instream
val openOut = fn : string -> TextIO.outstream
val openString = fn : string -> TextIO.instream
val output = fn : TextIO.outstream * TEXT_IO.vector -> unit
val output1 = fn : TextIO.outstream * TEXT_IO.elem -> unit
val outputSubstr = fn : TextIO.outstream * Substring.substring -> unit
type outstream
val print = fn : string -> unit
val scanStream = fn
:
   (
   (Char.char, TextIO.StreamIO.instream) StringCvt.reader ->
   ('a, TextIO.StreamIO.instream) StringCvt.reader) ->
   TextIO.instream -> 'a option
val setInstream = fn : TextIO.instream * TextIO.StreamIO.instream -> unit
val setOutstream = fn : TextIO.outstream * TextIO.StreamIO.outstream -> unit
val setPosOut = fn : TextIO.outstream * TextIO.StreamIO.out_pos -> unit
val stdErr = ? : TextIO.outstream
val stdIn = ? : TextIO.instream
val stdOut = ? : TextIO.outstream
type vector
> val != = fn : Real.real * Real.real -> bool
val * = fn : Real.real * Real.real -> Real.real
val *+ = fn : Real.real * Real.real * Real.real -> Real.real
val *- = fn : Real.real * Real.real * Real.real -> Real.real
val + = fn : Real.real * Real.real -> Real.real
val - = fn : Real.real * Real.real -> Real.real
val / = fn : Real.real * Real.real -> Real.real
val < = fn : Real.real * Real.real -> bool
val <= = fn : Real.real * Real.real -> bool
val == = fn : Real.real * Real.real -> bool
val > = fn : Real.real * Real.real -> bool
val >= = fn : Real.real * Real.real -> bool
val ?= = fn : Real.real * Real.real -> bool
structure Math :
  sig
    val acos : Real.Math.real -> Real.Math.real
    val asin : Real.Math.real -> Real.Math.real
    val atan : Real.Math.real -> Real.Math.real
    val atan2 : Real.Math.real * Real.Math.real -> Real.Math.real
    val cos : Real.Math.real -> Real.Math.real
    val cosh : Real.Math.real -> Real.Math.real
    val e : Real.Math.real
    val exp : Real.Math.real -> Real.Math.real
    val ln : Real.Math.real -> Real.Math.real
    val log10 : Real.Math.real -> Real.Math.real
    val pi : Real.Math.real
    val pow : Real.Math.real * Real.Math.real -> Real.Math.real
    type real
    val sin : Real.Math.real -> Real.Math.real
    val sinh : Real.Math.real -> Real.Math.real
    val sqrt : Real.Math.real -> Real.Math.real
    val tan : Real.Math.real -> Real.Math.real
    val tanh : Real.Math.real -> Real.Math.real
  end
val abs = fn : Real.real -> Real.real
val ceil = fn : Real.real -> Int.int
val checkFloat = fn : Real.real -> Real.real
val class = fn : Real.real -> IEEEReal.float_class
val compare = fn : Real.real * Real.real -> General.order
val compareReal = fn : Real.real * Real.real -> IEEEReal.real_order
val copySign = fn : Real.real * Real.real -> Real.real
val floor = fn : Real.real -> Int.int
val fmt = fn : StringCvt.realfmt -> Real.real -> string
val fromDecimal = fn : IEEEReal.decimal_approx -> Real.real option
val fromInt = fn : int -> Real.real
val fromLarge = fn : IEEEReal.rounding_mode -> LargeReal.real -> Real.real
val fromLargeInt = fn : Int.int -> Real.real
val fromManExp = fn : {exp: int, man: Real.real} -> Real.real
val fromString = fn : string -> Real.real option
val isFinite = fn : Real.real -> bool
val isNan = fn : Real.real -> bool
val isNormal = fn : Real.real -> bool
val max = fn : Real.real * Real.real -> Real.real
val maxFinite = 1.797693135E308 : Real.real
val min = fn : Real.real * Real.real -> Real.real
val minNormalPos = 2.225073859E~308 : Real.real
val minPos = 4.940656458E~324 : Real.real
val negInf = ~inf : Real.real
val nextAfter = fn : Real.real * Real.real -> Real.real
val posInf = inf : Real.real
val precision = 53 : int
val radix = 2 : int
type real
val realCeil = fn : Real.real -> Real.real
val realFloor = fn : Real.real -> Real.real
val realMod = fn : Real.real -> Real.real
val realRound = fn : Real.real -> Real.real
val realTrunc = fn : Real.real -> Real.real
val rem = fn : Real.real * Real.real -> Real.real
val round = fn : Real.real -> Int.int
val sameSign = fn : Real.real * Real.real -> bool
val scan = fn
: (char, 'a) StringCvt.reader -> (Real.real, 'a) StringCvt.reader
val sign = fn : Real.real -> int
val signBit = fn : Real.real -> bool
val split = fn : Real.real -> {frac: Real.real, whole: Real.real}
val toDecimal = fn : Real.real -> IEEEReal.decimal_approx
val toInt = fn : IEEEReal.rounding_mode -> Real.real -> int
val toLarge = fn : Real.real -> LargeReal.real
val toLargeInt = fn : IEEEReal.rounding_mode -> Real.real -> Int.int
val toManExp = fn : Real.real -> {exp: int, man: Real.real}
val toString = fn : Real.real -> string
val trunc = fn : Real.real -> Int.int
val unordered = fn : Real.real * Real.real -> bool
val ~ = fn : Real.real -> Real.real
> val < = fn : String.string * String.string -> bool
val <= = fn : String.string * String.string -> bool
val > = fn : String.string * String.string -> bool
val >= = fn : String.string * String.string -> bool
val ^ = fn : String.string * String.string -> String.string
type char
val collate = fn
:
   (String.char * String.char -> General.order) ->
   String.string * String.string -> General.order
val compare = fn : String.string * String.string -> General.order
val concat = fn : String.string list -> String.string
val concatWith = fn : String.string -> String.string list -> String.string
val explode = fn : String.string -> String.char list
val extract = fn : String.string * int * int option -> String.string
val fields = fn
: (String.char -> bool) -> String.string -> String.string list
val fromCString = fn : String.string -> String.string option
val fromString = fn : String.string -> String.string option
val implode = fn : String.char list -> String.string
val isPrefix = fn : String.string -> String.string -> bool
val isSubstring = fn : String.string -> String.string -> bool
val isSuffix = fn : String.string -> String.string -> bool
val map = fn : (String.char -> String.char) -> String.string -> String.string
val maxSize = 576460752303423472 : int
val scan = fn
: (Char.char, 'a) StringCvt.reader -> (String.string, 'a) StringCvt.reader
val size = fn : String.string -> int
val str = fn : String.char -> String.string
type string
val sub = fn : String.string * int -> String.char
val substring = fn : String.string * int * int -> String.string
val toCString = fn : String.string -> String.string
val toString = fn : String.string -> String.string
val tokens = fn
: (String.char -> bool) -> String.string -> String.string list
val translate = fn
: (String.char -> String.string) -> String.string -> String.string
> > val cvt_feet_to_meters = fn : Real.real -> Real.real
> > val infile = ? : TextIO.instream
> > val it1 = "6.0;\n" : string
> > val sz = 5 : int
> > val sz2 = 4 : int
> > val it2 = "6.0;" : String.string
> > val my_height_feet = 6.0 : Real.real
> > val my_height_meters = 1.829268293 : Real.real
> > >