diff options
| author | Pierre-Marie Pédrot | 2016-05-04 14:30:48 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-05-04 14:34:18 +0200 |
| commit | 8d3f0b614d7b2fb30f6e87b48a4fc5c0d286e49c (patch) | |
| tree | 6a244976f5caef6a2b88c84053fce87f94c78f96 /engine/geninterp.mli | |
| parent | c7fd62135403c1ea38194fcdd8035237ee108318 (diff) | |
Normalizing the names of dynamic types to follow a typ_* scheme.
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 5799862110..42e1e3784c 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 |