Commit e52570f5 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Commit merges from Clovis branch

parent 6173bb35
......@@ -101,4 +101,4 @@ end
(** The functor that builds the environment *)
module Make (Lex:Interface.Lexicon_sig) : Environment_sig
with type Signature1.t=Lex.Signature.t and type Lexicon.t = Lex.t
with type Signature1.t=Lex.Signature.t and type Lexicon.t = Lex.t and type Signature1.term = Lex.Signature.term and type Signature1.stype = Lex.Signature.stype
......@@ -169,7 +169,6 @@ sig
module Signature:Signature_sig
type signature = Signature.t
val empty : (string*Abstract_syntax.location) -> abs:signature -> obj:signature -> t
val name : t -> (string*Abstract_syntax.location)
val insert : Abstract_syntax.lex_entry -> t -> t
......
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