sig
  val natmod : int -> int -> int
  val from_to : int -> int -> int list
  val filtermap : ('a -> bool) -> ('a -> 'b) -> 'a list -> 'b list
  val compose : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
  val id : 'a -> 'a
  val is_empty : 'a -> bool
end