type 'a t
val (<$>) : ( 'a, 'b ) Bijection.texn -> 'a t -> 'b t
val (<*>) : 'a t -> 'b t -> ('a * 'b) t
val (<|>) : 'a t -> 'a t -> 'a t
val (*>) : unit t -> 'a t -> 'a t
val (<*) : 'a t -> unit t -> 'a t
val ($>) : unit t -> ( unit, 'a ) Bijection.texn -> 'a t
val (<$) : 'a t -> ( unit, 'a ) Bijection.texn -> unit t
val fix : ( 'a t -> 'a t ) -> 'a t
val nop : unit t
val any : char t
val fail : string -> 'a t
val pure : compare:( 'a -> 'a -> int ) -> 'a -> 'a t
val take : int -> string t
val peek : 'a t -> 'b t -> ( 'a, 'b ) Either.t t
val const : string -> string t
val commit : unit t
val while0 : ( char -> bool ) -> string t
val while1 : ( char -> bool ) -> string t
val bigstring_while0 : ( char -> bool ) -> Encoder.bigstring t
val bigstring_while1 : ( char -> bool ) -> Encoder.bigstring t
val buffer : string t
val bigstring_buffer : Encoder.bigstring t
module Option : sig ... end