/[svn]/types/patterns.mli
ViewVC logotype

Diff of /types/patterns.mli

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

revision 42 by abate, Tue Jul 10 17:00:17 2007 UTC revision 43 by abate, Tue Jul 10 17:00:25 2007 UTC
# Line 34  Line 34 
34    
35  (* Pattern matching: compilation *)  (* Pattern matching: compilation *)
36    
37  module NF : sig  module Compile: sig
     type nf  
38      type normal      type normal
39      val nf : descr -> nf    val normal : descr -> normal
40      val normal : nf -> normal  
41      module Disp : sig    type dispatcher
42        val show : Format.formatter -> Types.descr -> normal array -> unit        val show : Format.formatter -> Types.descr -> normal array -> unit
43      end      end
 (*  
     val show : Format.formatter -> Types.descr -> nf list -> unit  
     val get : int -> Types.descr * normal list  
 *)  
 end  
Legend:
Removed from v.42  
changed lines
  Added in v.43
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5