-- discriminant
module Discriminant where

instruction primAddInt  "addint" :: Int! -> Int! -> Int!
instruction primMulInt  "mulint" :: Int! -> Int! -> Int!

discriminant a b c = let! ac  = primMulInt a c
                          ac4 = primMulInt 4 ac 
                          b2  = primMulInt b b                          
                     in primAddInt b2 ac4 

main  = discriminant 1 2 3