doc-src/IsarAdvanced/Codegen/Thy/examples/class.ocaml
changeset 25056 743f3603ba8b
parent 24628 33137422d7fd
child 25182 64e3f45dc6f4
     1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/examples/class.ocaml	Tue Oct 16 17:06:21 2007 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/class.ocaml	Tue Oct 16 17:07:40 2007 +0200
     1.3 @@ -14,9 +14,11 @@
     1.4  let rec head _B = function x :: xs -> x
     1.5                    | [] -> null _B;;
     1.6  
     1.7 -let null_option () = ({null = None} : ('a option) null);;
     1.8 +let rec null_option = None;;
     1.9 +
    1.10 +let null_optiona () = ({null = null_option} : ('a option) null);;
    1.11  
    1.12  let rec dummy
    1.13 -  = head (null_option ()) [Some (Nat.Suc Nat.Zero_nat); None];;
    1.14 +  = head (null_optiona ()) [Some (Nat.Suc Nat.Zero_nat); None];;
    1.15  
    1.16  end;; (*struct Codegen*)