Commit 6cc73843 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

minor

parent cab74c49
......@@ -64,9 +64,11 @@ theory int.Int
remove prop Total
(* use with explicit polymorphism *)
meta "enco_poly" "explicit"
meta "encoding : base" type int
(* use with encoding_decorate *)
(* meta "enco_poly" "decorate" *)
(* meta "encoding : kept" type int *)
end
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment