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_imply

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 ($) : ?result:Lang.tau -> 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