CurryInfo: icurry-3.2.0 / ICurry.Graph.graphRoot

definition: Info
 
graphRoot :: Graph -> NodeID
graphRoot (Graph _ _ nid) = nid
demand: Info
 argument 1
deterministic: Info
 deterministic operation
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {({Graph}) |-> _}
name: Info
 graphRoot
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 Graph -> Prelude.Int
solution-complete: Info
 operationally complete operation
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms