anchor.diff:  [<RequireQualifiedAccess; CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
   module Reader =
       //
  -    let dummy () = ()
  +    [<CompiledName("Run")>]
  +    let inline run (readerFunc : ReaderFunc<'Env, 'T>) env =
  +        readerFunc env
  +
  +    //
  +    [<CompiledName("Read")>]
  +    let inline read (env : 'Env) = env
   
   
   /// <summary>
  
positive.code: /// </summary>
  [<RequireQualifiedAccess; CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
  module Continuation =
      //
      let dummy () = ()
  
  
  /// <summary>
  /// </summary>
  
negative.code: [<RequireQualifiedAccess; CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
  module ReaderState =
      //
      [<CompiledName("Run")>]
      let inline run (readerStateFunc : ReaderStateFuncIndexed<'Env, 'S1, 'S2, 'T>)
          env initialState =
          readerStateFunc env initialState
      
      //
      [<CompiledName("Evaluate")>]
      let evaluate (readerStateFunc : ReaderStateFuncIndexed<'Env, 'S1, 'S2, 'T>)
          env initialState =
          // "Run" the state function, starting with the initial state.
          // Discard the final state value and return the final result value.
          fst <| readerStateFunc env initialState
  
      //
      [<CompiledName("Execute")>]
      let execute (readerStateFunc : ReaderStateFuncIndexed<'Env, 'S1, 'S2, 'T>)
          env initialState =
          // "Run" the state function, starting with the initial state.
          // Discard the final result value and return the final state value.
          snd <| readerStateFunc env initialState
  
      //
      [<CompiledName("GetState")>]
      let inline getState (env : 'Env) (state : 'State) =
          state, state
  
      //
  