sig
  type 'a repr
  val lambda :
    ('a Biokepi_pipeline_edsl.Semantics.Lambda_calculus.repr ->
     'b Biokepi_pipeline_edsl.Semantics.Lambda_calculus.repr) ->
    ('a -> 'b) Biokepi_pipeline_edsl.Semantics.Lambda_calculus.repr
  val apply :
    ('a -> 'b) Biokepi_pipeline_edsl.Semantics.Lambda_calculus.repr ->
    'a Biokepi_pipeline_edsl.Semantics.Lambda_calculus.repr ->
    'b Biokepi_pipeline_edsl.Semantics.Lambda_calculus.repr
  type 'a observation
  val observe :
    (unit -> 'a Biokepi_pipeline_edsl.Semantics.Lambda_calculus.repr) ->
    'a Biokepi_pipeline_edsl.Semantics.Lambda_calculus.observation
end