Commit 9fa3f1a5 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Commit merges with Clovis branche

parent ee267027
......@@ -19,4 +19,4 @@
open Signature
module Sylvain_lexicon : Interface.Lexicon_sig
module Sylvain_lexicon : Interface.Lexicon_sig with type Signature.term=Lambda.Lambda.term and type Signature.stype=Lambda.Lambda.stype
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