Prog "FlexRigid" ["FlatCurry","Prelude"] [Type ("FlexRigid","FlexRigidResult") Public [] [Cons ("FlexRigid","UnknownFR") 0 Public [],Cons ("FlexRigid","ConflictFR") 0 Public [],Cons ("FlexRigid","KnownFlex") 0 Public [],Cons ("FlexRigid","KnownRigid") 0 Public []]] [Func ("FlexRigid","getFlexRigid") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlexRigid","FlexRigidResult") [])) (Rule [] (Var 0))] []