I investigated some Code examples, in haskell for Marlowe smart-contract, and used the "cabal repl" with the " :i " command, like this:
*Main> :i ValueEQ type Observation :: * data Observation = ... | ValueEQ Value Value | ... -- Defined in ‘Language.Marlowe.Extended’
But I could not find the target library ‘Language.Marlowe.Extended’.
Is there a place where we can find the Haskell libraries for Marlowe? There's perhaps also a haddock, like in Plutus, for Marlowe?