operators.mli 749 Bytes
Newer Older
1
open Cduce_loc
2 3
type type_fun = Types.t -> bool -> Types.t

4
val register: 
5
  string -> int -> (type_fun list -> type_fun) -> (Value.t list -> Value.t) -> unit
6

7 8 9 10 11 12
val register_unary: 
  string -> (type_fun -> type_fun) -> (Value.t -> Value.t) -> unit
val register_binary: 
  string -> (type_fun -> type_fun -> type_fun) -> (Value.t -> Value.t -> Value.t) -> unit

val register_fun: string -> Types.t -> Types.t -> (Value.t -> Value.t) -> unit
13
val register_fun2: string -> Types.t -> Types.t -> Types.t -> (Value.t -> Value.t -> Value.t) -> unit
14

15 16
val register_op: 
  string -> ?expect:Types.t -> (Types.t -> Types.t) -> (Value.t -> Value.t) -> unit
17 18 19

val register_op2: 
  string -> Types.t -> Types.t -> Types.t -> (Value.t -> Value.t -> Value.t) -> unit