package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val option : 
  'self_type ->
  ('self_type -> 'a -> 'self_type * 'a * Types.datatype) ->
  'a option ->
  'self_type * 'a option * Types.datatype option

val optionu : 
  'self_type ->
  ('self_type -> 'a -> 'self_type * 'a) ->
  'a option ->
  'self_type * 'a option

val list : 
  'self_type ->
  ('self_type -> 'a -> 'self_type * 'a * Types.datatype) ->
  'a list ->
  'self_type * 'a list * Types.datatype list

val listu : 
  'self_type ->
  ('self_type -> 'a -> 'self_type * 'a) ->
  'a list ->
  'self_type * 'a list

class transform : Types.typing_environment -> object ... end

val fun_effects : 
  Types.datatype ->
  Sugartypes.Pattern.with_pos list list ->
  Types.row

type program_transformer =
  Types.typing_environment ->
  Sugartypes.program ->
  Sugartypes.program

type sentence_transformer =
  Types.typing_environment ->
  Sugartypes.sentence ->
  Sugartypes.sentence