Up
Next
Module type
ZZ3_sigs.Context
module type
Context =
sig
..
end
Input signature of the functor, only a context.
val
ctx
:
Z3.context