Up

Module type Map_function_with_init_spec

Signature

type state_type