diff options
Diffstat (limited to 'kernel/retroknowledge.mli')
| -rw-r--r-- | kernel/retroknowledge.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/retroknowledge.mli b/kernel/retroknowledge.mli index 6b2c74e9df..1436f23739 100644 --- a/kernel/retroknowledge.mli +++ b/kernel/retroknowledge.mli @@ -48,6 +48,8 @@ type int31_field = type field = | KInt31 of int31_field +val int31_field_of_string : string -> int31_field + (** This type represent an atomic action of the retroknowledge. It is stored in the compiled libraries As per now, there is only the possibility of registering things |