Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

Commit 2ed65a47 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Removed a few redundant type abbreviations.

parent 193d075a
......@@ -30,5 +30,5 @@ and term2 t =
and term t =
term2 t
let term (oc : out_channel) (t : raw_term) : unit =
let term (oc : out_channel) (t : (string, string) term) : unit =
output oc (term t)
......@@ -24,12 +24,3 @@ type ('fn, 'bn) term =
ancestors = ["Bn.iter2"; "Abstraction.iter2"] }
]
type raw_term =
(string, string) term
type nominal_term =
(Atom.t, Atom.t) term
type db_term =
(int, unit) term
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