/[mojave]/metaprl/theories/mc/mp_mc_fir_base.ml
ViewVC logotype

Diff of /metaprl/theories/mc/mp_mc_fir_base.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3591 by emre, Sat Apr 27 19:52:38 2002 UTC revision 3592 by emre, Mon Apr 29 23:15:57 2002 UTC
# Line 70  Line 70 
70   * @begin[doc]   * @begin[doc]
71   *   *
72   * @tt{val_true} and @tt{val_false} represent the @OCaml   * @tt{val_true} and @tt{val_false} represent the @OCaml
73   * boolean constants @tt{true} and @tt{false}.   * boolean constants @tt{true} and @tt{false}.  Within the FIR,
74     * true and false are actually represented as
75     * @hrefterm[atomEnum]s (see @hreftheory[Mp_mc_fir_eval]).
76   * @end[doc]   * @end[doc]
77   *)   *)
78  declare val_true  declare val_true
# Line 114  Line 116 
116  (*!  (*!
117   * @begin[doc]   * @begin[doc]
118   *   *
119   * Integer and raw-integer sets.   * The FIR has support for basic integer (@hrefterm[tyInt])
120     * and raw-intger (@hrefterm[tyRawInt]) sets.  @tt{int_set} and
121     * @tt{rawint_set} encode sets as a list (see @hreftheory[Itt_list])
122     * of closed @tt{interval}s.  Each @tt{interval} has subterms for
123     * the left and right bounds, which should be @hrefterm[number]s.
124     * @tt{rawint_set}s also require subterms to encode the precision
125     * and signing of the @hrefterm[tyRawInt]s.  It is assumed that each
126     * bound in the list has the same precision and signing.
127   * @end[doc]   * @end[doc]
128   *)   *)
129    
# Line 125  Line 134 
134  (*!  (*!
135   * @begin[doc]   * @begin[doc]
136   *   *
137   * Tuple classes.   * Tuple classes. (Documentation incomplete.)
138   * @end[doc]   * @end[doc]
139   *)   *)
140    
# Line 136  Line 145 
145  (*!  (*!
146   * @begin[doc]   * @begin[doc]
147   *   *
148   * Union types.   * Union types. (Documentation incomplete.)
149   * @end[doc]   * @end[doc]
150   *)   *)
151    
# Line 146  Line 155 
155  (*!  (*!
156   * @begin[doc]   * @begin[doc]
157   *   *
158   * Subscript operators.   * Subscript operators. (Documentation incomplete.)
159   * @end[doc]   * @end[doc]
160   *)   *)
161    

Legend:
Removed from v.3591  
changed lines
  Added in v.3592

  ViewVC Help
Powered by ViewVC 1.1.26