Lang.N
simpler notation for writing F.term and F.pred
F.term
F.pred
val (+) : F.binop
F.p_add
F
val (-) : F.binop
F.p_sub
val (~-) : F.unop
fun x -> p_sub 0 x
val (*) : F.binop
F.p_mul
val (/) : F.binop
F.p_div
val (mod) : F.binop
F.p_mod
val (=) : F.cmp
F.p_equal
val (<) : F.cmp
F.p_lt
val (>) : F.cmp
F.p_lt with inversed argument
val (<=) : F.cmp
F.p_leq
val (>=) : F.cmp
F.p_leq with inversed argument
val (<>) : F.cmp
F.p_neq
val (==>) : F.operator
F.p_imply
val (&&) : F.operator
F.p_and
val (||) : F.operator
F.p_or
val not : F.pred -> F.pred
F.p_not
val ($) : ?result:tau -> lfun -> F.term list -> F.term
F.e_fun
val ($$) : lfun -> F.term list -> F.pred
F.p_call