diff options
Diffstat (limited to 'engine/geninterp.mli')
| -rw-r--r-- | engine/geninterp.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/engine/geninterp.mli b/engine/geninterp.mli index 579986211..42e1e3784 100644 --- a/engine/geninterp.mli +++ b/engine/geninterp.mli @@ -31,9 +31,9 @@ sig val repr : 'a typ -> string val pr : 'a typ -> Pp.std_ppcmds - val list_tag : t list typ - val opt_tag : t option typ - val pair_tag : (t * t) typ + val typ_list : t list typ + val typ_opt : t option typ + val typ_pair : (t * t) typ val inject : 'a tag -> 'a -> t |