Module Wp.Lang.N

module N: sig .. end

simpler notation for writing Wp.Lang.F.term and

val (+) : Wp.Lang.F.binop

F.p_add

val (-) : Wp.Lang.F.binop

F.p_sub

val (~-) : Wp.Lang.F.unop

fun x -> p_sub 0 x

val ( * ) : Wp.Lang.F.binop

F.p_mul

val (/) : Wp.Lang.F.binop

F.p_div

val (mod) : Wp.Lang.F.binop

F.p_mod

val (=) : Wp.Lang.F.cmp

Wp.Lang.F.p_equal

val (<) : Wp.Lang.F.cmp

Wp.Lang.F.p_lt

val (>) : Wp.Lang.F.cmp

Wp.Lang.F.p_lt with inversed argument

val (<=) : Wp.Lang.F.cmp

Wp.Lang.F.p_leq

val (>=) : Wp.Lang.F.cmp

Wp.Lang.F.p_leq with inversed argument

val (<>) : Wp.Lang.F.cmp

Wp.Lang.F.p_neq

val (&&) : Wp.Lang.F.operator

Wp.Lang.F.p_and

val (||) : Wp.Lang.F.operator

Wp.Lang.F.p_or

val not : Wp.Lang.F.pred -> Wp.Lang.F.pred

Wp.Lang.F.p_not

val ($) : ?result:Wp.Lang.tau -> Wp.Lang.lfun -> Wp.Lang.F.term list -> Wp.Lang.F.term

Wp.Lang.F.e_fun

val ($$) : Wp.Lang.lfun -> Wp.Lang.F.term list -> Wp.Lang.F.pred

Wp.Lang.F.p_call