Module Lang.N

module N: sig .. end


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