Module
Z3.Internal
- Package
- purescript-z3
- Repository
- gbagan/purescript-z3
#mkFunDecl2 Source
mkFunDecl2 :: forall r dom1 dom2 img. EffectFn5 (Context r) String (Z3Sort r dom1) (Z3Sort r dom2) (Z3Sort r img) (Z3Function2 r dom1 dom2 img)
#apply Source
apply :: forall r dom img. Fn2 (Z3Function r dom img) dom img
#apply2 Source
apply2 :: forall r dom1 dom2 img. Fn3 (Z3Function2 r dom1 dom2 img) dom1 dom2 img
- Modules
- Z3
- Z3.
Internal - Z3.
Types