PoseidonFull.P
type scalar = Csir.Scalar.t
type ctxt
val init : ?input_length:int -> unit -> ctxt
val digest : ctxt -> scalar array -> ctxt
val get : ctxt -> scalar
val direct : ?input_length:int -> scalar array -> scalar