blob: 7192b8b37551037ffd9ca3e0177ca8c9873a6243 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
module T:Sym_type.SYM_TYPE
module R:Sym_ref.SYM_REF
type t
type dic = (Functions.C.t * (int * int -> ScTypes.Result.t option))
type obs = dic -> ScTypes.Result.t
val value : 'a T.t -> t
val ref : 'a R.t -> t
val call0 : UTF8.t -> t
val call1 : UTF8.t -> t -> t
val call2 : UTF8.t -> t -> t -> t
val call3 : UTF8.t -> t -> t -> t -> t
val callN: UTF8.t -> t list -> t
val expression : t -> t
val observe : t -> obs
|